Proceedings of the third ACM SIGPLAN international conference on Functional programming - ICFP '98
Latest Publications

TOTAL DOCUMENTS

46

(FIVE YEARS 0)

H-INDEX

13

(FIVE YEARS 0)

Published By ACM Press

1581130244

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the runtime complexity of type-directed unboxing

Proceedings of the third ACM SIGPLAN international conference on Functional programming - ICFP '98 ◽

10.1145/289423.289424 ◽

1998 ◽

Author(s):

Yasuhiko Minamide ◽

Jacques Garrigue

Download Full-text

Frob---functional robotics

Proceedings of the third ACM SIGPLAN international conference on Functional programming - ICFP '98 ◽

10.1145/289423.289475 ◽

1998 ◽

Author(s):

Gary Shu Ling

Download Full-text

Compiling standard ML to Java bytecodes

Proceedings of the third ACM SIGPLAN international conference on Functional programming - ICFP '98 ◽

10.1145/289423.289435 ◽

1998 ◽

Author(s):

Nick Benton ◽

Andrew Kennedy ◽

George Russell

Keyword(s):

Download Full-text

A term calculus for unitary approach to normalization

Proceedings of the third ACM SIGPLAN international conference on Functional programming - ICFP '98 ◽

10.1145/289423.289477 ◽

1998 ◽

Author(s):

Claudia Faggian

Keyword(s):

Unitary Approach

Download Full-text

Lava

Proceedings of the third ACM SIGPLAN international conference on Functional programming - ICFP '98 ◽

10.1145/289423.289440 ◽

1998 ◽

Author(s):

Per Bjesse ◽

Koen Claessen ◽

Mary Sheeran ◽

Satnam Singh

Download Full-text

Functional differentiation of computer programs

Proceedings of the third ACM SIGPLAN international conference on Functional programming - ICFP '98 ◽

10.1145/289423.289442 ◽

1998 ◽

Author(s):

Jerzy Karczmarczuk

Keyword(s):

Computer Programs ◽

Functional Differentiation

Download Full-text

Encoding types in ML-like languages

Proceedings of the third ACM SIGPLAN international conference on Functional programming - ICFP '98 ◽

10.1145/289423.289458 ◽

1998 ◽

Author(s):

Zhe Yang

Download Full-text

Cayenne---a language with dependent types

Proceedings of the third ACM SIGPLAN international conference on Functional programming - ICFP '98 ◽

10.1145/289423.289451 ◽

1998 ◽

Author(s):

Lennart Augustsson

Keyword(s):

Dependent Types

Download Full-text

A structured approach to retrieving functions by types

Proceedings of the third ACM SIGPLAN international conference on Functional programming - ICFP '98 ◽

10.1145/289423.289473 ◽

1998 ◽

Author(s):

Nancy An ◽

Young Park

Keyword(s):

Structured Approach

Download Full-text

Pragmatic subtyping in polymorphic languages

Proceedings of the third ACM SIGPLAN international conference on Functional programming - ICFP '98 ◽

10.1145/289423.289445 ◽

1998 ◽

Author(s):

Johan Nordlander

Download Full-text