Proceedings of the sixth ACM SIGPLAN international conference on Functional programming - ICFP '01
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

1581134150

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Contification using dominators

Proceedings of the sixth ACM SIGPLAN international conference on Functional programming - ICFP '01 ◽

10.1145/507635.507639 ◽

2001 ◽

Cited By ~ 16

Author(s):

Matthew Fluet ◽

Stephen Weeks

Download Full-text

Recursive structures for standard ML

Proceedings of the sixth ACM SIGPLAN international conference on Functional programming - ICFP '01 ◽

10.1145/507635.507644 ◽

2001 ◽

Cited By ~ 19

Author(s):

Claudio V. Russo

Keyword(s):

Standard Ml ◽

Recursive Structures

Download Full-text

Functional array fusion

Proceedings of the sixth ACM SIGPLAN international conference on Functional programming - ICFP '01 ◽

10.1145/507635.507661 ◽

2001 ◽

Cited By ~ 10

Author(s):

Manuel M. T. Chakravarty ◽

Gabriele Keller

Download Full-text

Extensible algebraic datatypes with defaults

Proceedings of the sixth ACM SIGPLAN international conference on Functional programming - ICFP '01 ◽

10.1145/507635.507665 ◽

2001 ◽

Cited By ~ 25

Author(s):

Matthias Zenger ◽

Martin Odersky

Download Full-text

Generic validation of structural content with parametric modules

Proceedings of the sixth ACM SIGPLAN international conference on Functional programming - ICFP '01 ◽

10.1145/507635.507649 ◽

2001 ◽

Cited By ~ 1

Author(s):

Tyng-Ruey Chuang

Keyword(s):

Structural Content

Download Full-text

Cost recurrences for DML programs

Proceedings of the sixth ACM SIGPLAN international conference on Functional programming - ICFP '01 ◽

10.1145/507635.507666 ◽

2001 ◽

Cited By ~ 25

Author(s):

Bernd Grobauer

Download Full-text

Down with Emacs Lisp

Proceedings of the sixth ACM SIGPLAN international conference on Functional programming - ICFP '01 ◽

10.1145/507635.507642 ◽

2001 ◽

Author(s):

Matthias Neubauer ◽

Michael Sperber

Download Full-text

On regions and linear types (extended abstract)

Proceedings of the sixth ACM SIGPLAN international conference on Functional programming - ICFP '01 ◽

10.1145/507635.507658 ◽

2001 ◽

Cited By ~ 11

Author(s):

David Walker ◽

Kevin Watkins

Keyword(s):

Linear Types

Download Full-text

Possibilities and limitations of call-by-need space improvement

Proceedings of the sixth ACM SIGPLAN international conference on Functional programming - ICFP '01 ◽

10.1145/507635.507667 ◽

2001 ◽

Cited By ~ 16

Author(s):

Jörgen Gustavsson ◽

David Sands

Download Full-text

Functioning without closure

Proceedings of the sixth ACM SIGPLAN international conference on Functional programming - ICFP '01 ◽

10.1145/507635.507640 ◽

2001 ◽

Cited By ~ 2

Author(s):

Allyn Dimock ◽

Ian Westmacott ◽

Robert Muller ◽

Franklyn Turbak ◽

J. B. Wells

Download Full-text

Proceedings of the sixth ACM SIGPLAN international conference on Functional programming - ICFP '01Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Contification using dominators

Recursive structures for standard ML

Functional array fusion

Extensible algebraic datatypes with defaults

Generic validation of structural content with parametric modules

Cost recurrences for DML programs

Down with Emacs Lisp

On regions and linear types (extended abstract)

Possibilities and limitations of call-by-need space improvement

Functioning without closure

Proceedings of the sixth ACM SIGPLAN international conference on Functional programming - ICFP '01
Latest Publications