Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450310543

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Addressing covert termination and timing channels in concurrent information flow systems

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12 ◽

10.1145/2364527.2364557 ◽

2012 ◽

Cited By ~ 29

Author(s):

Deian Stefan ◽

Alejandro Russo ◽

Pablo Buiras ◽

Amit Levy ◽

John C. Mitchell ◽

...

Keyword(s):

Information Flow ◽

Timing Channels ◽

Flow Systems ◽

Concurrent Information

Download Full-text

Typing unmarshalling without marshalling types

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12 ◽

10.1145/2364527.2364569 ◽

2012 ◽

Cited By ~ 3

Author(s):

Grégoire Henry ◽

Michel Mauny ◽

Emmanuel Chailloux ◽

Pascal Manoury

Download Full-text

Pure type systems with corecursion on streams

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12 ◽

10.1145/2364527.2364550 ◽

2012 ◽

Cited By ~ 5

Author(s):

Paula G. Severi ◽

Fer-Jan J. de Vries

Keyword(s):

Type Systems ◽

Pure Type ◽

Pure Type Systems

Download Full-text

Shake before building

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12 ◽

10.1145/2364527.2364538 ◽

2012 ◽

Cited By ~ 8

Author(s):

Neil Mitchell

Download Full-text

Tales from the jungle

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12 ◽

10.1145/2364527.2364566 ◽

2012 ◽

Author(s):

Peter Sewell

Download Full-text

Painless programming combining reduction and search

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12 ◽

10.1145/2364527.2364542 ◽

2012 ◽

Cited By ~ 2

Author(s):

Timothy E. Sheard

Download Full-text

Formal verification of monad transformers

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12 ◽

10.1145/2364527.2364532 ◽

2012 ◽

Cited By ~ 6

Author(s):

Brian Huffman

Keyword(s):

Formal Verification

Download Full-text

Functional programming with structured graphs

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12 ◽

10.1145/2364527.2364541 ◽

2012 ◽

Cited By ~ 11

Author(s):

Bruno C.d.S. Oliveira ◽

William R. Cook

Keyword(s):

Functional Programming ◽

Structured Graphs

Download Full-text

Equality proofs and deferred type errors

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12 ◽

10.1145/2364527.2364554 ◽

2012 ◽

Cited By ~ 21

Author(s):

Dimitrios Vytiniotis ◽

Simon Peyton Jones ◽

José Pedro Magalhães

Download Full-text

Practical typed lazy contracts

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12 ◽

10.1145/2364527.2364539 ◽

2012 ◽

Cited By ~ 8

Author(s):

Olaf Chitil

Download Full-text

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Addressing covert termination and timing channels in concurrent information flow systems

Typing unmarshalling without marshalling types

Pure type systems with corecursion on streams

Shake before building

Tales from the jungle

Painless programming combining reduction and search

Formal verification of monad transformers

Functional programming with structured graphs

Equality proofs and deferred type errors

Practical typed lazy contracts

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12
Latest Publications