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

TOTAL DOCUMENTS

35
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By ACM Press

9781450310543
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Addressing covert termination and timing channels in concurrent information flow systems

2012 ◽  
Author(s):  
Deian Stefan ◽  
Alejandro Russo ◽  
Pablo Buiras ◽  
Amit Levy ◽  
John C. Mitchell ◽  
...  
Keyword(s):  
Information Flow ◽  
Timing Channels ◽  
Flow Systems ◽  
Concurrent Information

scholarly journals Typing unmarshalling without marshalling types

2012 ◽  
Author(s):  
Grégoire Henry ◽  
Michel Mauny ◽  
Emmanuel Chailloux ◽  
Pascal Manoury

Equality proofs and deferred type errors

2012 ◽  
Author(s):  
Dimitrios Vytiniotis ◽  
Simon Peyton Jones ◽  
José Pedro Magalhães
Load More ...
Sign in / Sign up

Export Citation Format

Share Document