Proceedings of the fourth ACM SIGPLAN international conference on Functional programming - ICFP '99
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

1581131119

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Transparent modules with fully syntatic signatures

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming - ICFP '99 ◽

10.1145/317636.317801 ◽

1999 ◽

Cited By ~ 10

Author(s):

Zhong Shao

Download Full-text

Interlanguage working without tears

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming - ICFP '99 ◽

10.1145/317636.317791 ◽

1999 ◽

Cited By ~ 13

Author(s):

Nick Benton ◽

Andrew Kennedy

Download Full-text

Verification of Erlang programs using abstract interpretation and model checking

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming - ICFP '99 ◽

10.1145/317636.317908 ◽

1999 ◽

Cited By ~ 12

Author(s):

Frank Huch

Keyword(s):

Model Checking ◽

Abstract Interpretation

Download Full-text

From fast exponentiation to square matrices

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming - ICFP '99 ◽

10.1145/317636.317781 ◽

1999 ◽

Cited By ~ 15

Author(s):

Chris Okasaki

Download Full-text

Flexible type analysis

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming - ICFP '99 ◽

10.1145/317636.317906 ◽

1999 ◽

Cited By ~ 35

Author(s):

Karl Crary ◽

Stephanie Weirich

Keyword(s):

Type Analysis

Download Full-text

Representing Java classes in a typed intermediate language

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming - ICFP '99 ◽

10.1145/317636.317798 ◽

1999 ◽

Cited By ~ 8

Author(s):

Christopher League ◽

Zhong Shao ◽

Valery Trifonov

Keyword(s):

Intermediate Language

Download Full-text

Monadic encapsulation in ML

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming - ICFP '99 ◽

10.1145/317636.317777 ◽

1999 ◽

Cited By ~ 6

Author(s):

Miley Semmelroth ◽

Amr Sabry

Download Full-text

Atomic heap transactions and fine-grain interrupts

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming - ICFP '99 ◽

10.1145/317636.317783 ◽

1999 ◽

Cited By ~ 8

Author(s):

Olin Shivers ◽

James W. Clark ◽

Roland McGrath

Keyword(s):

Fine Grain

Download Full-text

Trampolined style

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming - ICFP '99 ◽

10.1145/317636.317779 ◽

1999 ◽

Cited By ~ 20

Author(s):

Steven E. Ganz ◽

Daniel P. Friedman ◽

Mitchell Wand

Download Full-text

Specialization of inductively sequential functional logic programs

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming - ICFP '99 ◽

10.1145/317636.317910 ◽

1999 ◽

Cited By ~ 6

Author(s):

María Alpuente ◽

Michael Hanus ◽

Salvador Lucas ◽

Germán Vidal

Keyword(s):

Logic Programs ◽

Functional Logic

Download Full-text

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming - ICFP '99Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Transparent modules with fully syntatic signatures

Interlanguage working without tears

Verification of Erlang programs using abstract interpretation and model checking

From fast exponentiation to square matrices

Flexible type analysis

Representing Java classes in a typed intermediate language

Monadic encapsulation in ML

Atomic heap transactions and fine-grain interrupts

Trampolined style

Specialization of inductively sequential functional logic programs

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming - ICFP '99
Latest Publications