Proceedings of the tenth ACM SIGPLAN international conference on Functional programming - ICFP '05
Latest Publications

TOTAL DOCUMENTS

29

(FIVE YEARS 0)

H-INDEX

12

(FIVE YEARS 0)

Published By ACM Press

1595930647

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Witnessing side-effects

Proceedings of the tenth ACM SIGPLAN international conference on Functional programming - ICFP '05 ◽

10.1145/1086365.1086379 ◽

2005 ◽

Author(s):

Tachio Terauchi ◽

Alex Aiken

Keyword(s):

Download Full-text

Type inference, principal typings, and let-polymorphism for first-class mixin modules

Proceedings of the tenth ACM SIGPLAN international conference on Functional programming - ICFP '05 ◽

10.1145/1086365.1086386 ◽

2005 ◽

Author(s):

Henning Makholm ◽

J. B. Wells

Keyword(s):

Download Full-text

Mechanizing the meta-theory of programming languages

Proceedings of the tenth ACM SIGPLAN international conference on Functional programming - ICFP '05 ◽

10.1145/1086365.1086396 ◽

2005 ◽

Author(s):

Robert Harper

Keyword(s):

Programming Languages ◽

Download Full-text

Qualified types for MLF

Proceedings of the tenth ACM SIGPLAN international conference on Functional programming - ICFP '05 ◽

10.1145/1086365.1086385 ◽

2005 ◽

Author(s):

Daan Leijen ◽

Andres Löh

Download Full-text

Modular verification of concurrent assembly code with dynamic thread creation and termination

Proceedings of the tenth ACM SIGPLAN international conference on Functional programming - ICFP '05 ◽

10.1145/1086365.1086399 ◽

2005 ◽

Author(s):

Xinyu Feng ◽

Zhong Shao

Keyword(s):

Assembly Code ◽

Modular Verification

Download Full-text

Continuations from generalized stack inspection

Proceedings of the tenth ACM SIGPLAN international conference on Functional programming - ICFP '05 ◽

10.1145/1086365.1086393 ◽

2005 ◽

Author(s):

Greg Pettyjohn ◽

John Clements ◽

Joe Marshall ◽

Shriram Krishnamurthi ◽

Matthias Felleisen

Download Full-text

From ML type inference to stratified type inference

Proceedings of the tenth ACM SIGPLAN international conference on Functional programming - ICFP '05 ◽

10.1145/1086365.1086367 ◽

2005 ◽

Author(s):

François Pottier

Keyword(s):

Download Full-text

Aspectual Caml

Proceedings of the tenth ACM SIGPLAN international conference on Functional programming - ICFP '05 ◽

10.1145/1086365.1086405 ◽

2005 ◽

Author(s):

Hidehiko Masuhara ◽

Hideaki Tatsuzawa ◽

Akinori Yonezawa

Download Full-text

Monadic augment and generalised short cut fusion

Proceedings of the tenth ACM SIGPLAN international conference on Functional programming - ICFP '05 ◽

10.1145/1086365.1086403 ◽

2005 ◽

Author(s):

Neil Ghani ◽

Patricia Johann ◽

Tarmo Uustalu ◽

Varmo Vene

Download Full-text

High-level views on low-level representations

Proceedings of the tenth ACM SIGPLAN international conference on Functional programming - ICFP '05 ◽

10.1145/1086365.1086387 ◽

2005 ◽

Author(s):

Iavor S. Diatchki ◽

Mark P. Jones ◽

Rebekah Leslie

Keyword(s):

Low Level ◽

Download Full-text