Proceedings of the fifth ACM SIGPLAN international conference on Functional programming - ICFP '00
Latest Publications

TOTAL DOCUMENTS

27

(FIVE YEARS 0)

H-INDEX

14

(FIVE YEARS 0)

Published By ACM Press

1581132026

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Syntactic accidents in program analysis

Proceedings of the fifth ACM SIGPLAN international conference on Functional programming - ICFP '00 ◽

10.1145/351240.351260 ◽

2000 ◽

Author(s):

Daniel Damian ◽

Olivier Danvy

Keyword(s):

Program Analysis

Download Full-text

An operational semantics for parallel lazy evaluation

Proceedings of the fifth ACM SIGPLAN international conference on Functional programming - ICFP '00 ◽

10.1145/351240.351256 ◽

2000 ◽

Author(s):

Clem Baker-Finch ◽

David J. King ◽

Phil Trinder

Keyword(s):

Operational Semantics ◽

Lazy Evaluation

Download Full-text

Advanced module systems (invited talk)

Proceedings of the fifth ACM SIGPLAN international conference on Functional programming - ICFP '00 ◽

10.1145/351240.351252 ◽

2000 ◽

Author(s):

Robert Harper ◽

Benjamin C. Pierce

Keyword(s):

Download Full-text

QuickCheck

Proceedings of the fifth ACM SIGPLAN international conference on Functional programming - ICFP '00 ◽

10.1145/351240.351266 ◽

2000 ◽

Author(s):

Koen Claessen ◽

John Hughes

Download Full-text

Deriving backtracking monad transformers

Proceedings of the fifth ACM SIGPLAN international conference on Functional programming - ICFP '00 ◽

10.1145/351240.351258 ◽

2000 ◽

Author(s):

Ralf Hinze

Download Full-text

Non-stop Haskell

Proceedings of the fifth ACM SIGPLAN international conference on Functional programming - ICFP '00 ◽

10.1145/351240.351265 ◽

2000 ◽

Author(s):

A. M. Cheadle ◽

A. J. Field ◽

S. Marlow ◽

S. L. Peyton Jones ◽

R. L. While

Download Full-text

Typed compilation of inclusive subtyping

Proceedings of the fifth ACM SIGPLAN international conference on Functional programming - ICFP '00 ◽

10.1145/351240.351247 ◽

2000 ◽

Author(s):

Karl Crary

Download Full-text

Static enforcement of security with types

Proceedings of the fifth ACM SIGPLAN international conference on Functional programming - ICFP '00 ◽

10.1145/351240.351244 ◽

2000 ◽

Author(s):

Christian Skalka ◽

Scott Smith

Download Full-text

Fully reflexive intensional type analysis

Proceedings of the fifth ACM SIGPLAN international conference on Functional programming - ICFP '00 ◽

10.1145/351240.351248 ◽

2000 ◽

Author(s):

Valery Trifonov ◽

Bratin Saha ◽

Zhong Shao

Keyword(s):

Download Full-text

FranTk - a declarative GUI language for Haskell

Proceedings of the fifth ACM SIGPLAN international conference on Functional programming - ICFP '00 ◽

10.1145/351240.351250 ◽

2000 ◽

Author(s):

Meurig Sage

Download Full-text