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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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 ◽

Cited By ~ 7

Author(s):

Tachio Terauchi ◽

Alex Aiken

Keyword(s):

Side Effects

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 ◽

Cited By ~ 4

Author(s):

Henning Makholm ◽

J. B. Wells

Keyword(s):

Type Inference

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 ◽

Meta Theory

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 ◽

Cited By ~ 12

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 ◽

Cited By ~ 22

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 ◽

Cited By ~ 16

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):

Type Inference

Download Full-text

Aspectual Caml

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

10.1145/1086365.1086405 ◽

2005 ◽

Cited By ~ 8

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 ◽

Cited By ~ 3

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 ◽

Cited By ~ 9

Author(s):

Iavor S. Diatchki ◽

Mark P. Jones ◽

Rebekah Leslie

Keyword(s):

Low Level ◽

High Level

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Witnessing side-effects

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

Mechanizing the meta-theory of programming languages

Qualified types for MLF

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

Continuations from generalized stack inspection

From ML type inference to stratified type inference

Aspectual Caml

Monadic augment and generalised short cut fusion

High-level views on low-level representations

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