Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11
Latest Publications

TOTAL DOCUMENTS

40
(FIVE YEARS 0)

H-INDEX

14
(FIVE YEARS 0)

Published By ACM Press

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

scholarly journals Secure distributed programming with value-dependent types

2011 ◽  
Author(s):  
Nikhil Swamy ◽  
Juan Chen ◽  
Cédric Fournet ◽  
Pierre-Yves Strub ◽  
Karthikeyan Bhargavan ◽  
...  
Keyword(s):  
Distributed Programming ◽  
Dependent Types

scholarly journals How to make ad hoc proof automation less ad hoc

2011 ◽  
Author(s):  
Georges Gonthier ◽  
Beta Ziliani ◽  
Aleksandar Nanevski ◽  
Derek Dreyer
Keyword(s):  
Ad Hoc ◽  
Proof Automation
Load More ...
Sign in / Sign up

Export Citation Format

Share Document