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

TOTAL DOCUMENTS

31
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By ACM Press

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

SML# in industry

2014 ◽  
Author(s):  
Atsushi Ohori ◽  
Katsuhiro Ueno ◽  
Kazunori Hoshi ◽  
Shinji Nozaki ◽  
Takashi Sato ◽  
...  

Building embedded systems with embedded DSLs

2014 ◽  
Author(s):  
Patrick C. Hickey ◽  
Lee Pike ◽  
Trevor Elliott ◽  
James Bielman ◽  
John Launchbury
Keyword(s):  
Embedded Systems

scholarly journals Lem

2014 ◽  
Author(s):  
Dominic P. Mulligan ◽  
Scott Owens ◽  
Kathryn E. Gray ◽  
Tom Ridge ◽  
Peter Sewell
Load More ...
Sign in / Sign up

Export Citation Format

Share Document