4. ICFP 1999: Paris, France

Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), Paris, France, September 27-29, 1999, SIGPLAN Notices 34(9), September 1999, ACM, ISBN 1-58113-111-9

Session I

John Longley:
When is a Functional Program Not a Functional Program? 1-7
Electronic Edition (ACM DL) BibTeX
Miley Semmelroth, Amr Sabry:
Monadic Encapsulation in ML. 8-17
Electronic Edition (ACM DL) BibTeX

Session II

Steven E. Ganz, Daniel P. Friedman, Mitchell Wand:
Trampolined Style. 18-27
Electronic Edition (ACM DL) BibTeX
Chris Okasaki:
From Fast Exponentiation to Square Matrices: An Adventure in Types. 28-35
Electronic Edition (ACM DL) BibTeX
Henrik Nilsson:
Tracing Piece by Piece: Affordable Debugging for Lazy Functional Languages. 36-47
Electronic Edition (ACM DL) BibTeX

Session III

Olin Shivers, James W. Clark, Roland McGrath:
Atomic Heap Transactions and Fine-grain Interrupts. 48-59
Electronic Edition (ACM DL) BibTeX
John Launchbury, Jeffrey R. Lewis, Byron Cook:
On Embedding a Microarchitectural Design Language within Haskell. 60-69
Electronic Edition (ACM DL) BibTeX
John Hughes, Lars Pareto:
Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming. 70-81
Electronic Edition (ACM DL) BibTeX

Session IV

Karl Crary:
A Simple Proof Technique for Certain Parametricity Results. 82-89
Electronic Edition (ACM DL) BibTeX
A. J. Kfoury, Harry G. Mairson, Franklyn A. Turbak, J. B. Wells:
Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract). 90-101
Electronic Edition (ACM DL) BibTeX
Zdzislaw Splawski, Pawel Urzyczyn:
Type Fixpoints: Iteration vs. Recursion. 102-113
Electronic Edition (ACM DL) BibTeX

Session V

Sigbjorn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones:
Calling Hell From Heaven and Heaven From Hell. 114-125
Electronic Edition (ACM DL) BibTeX
Nick Benton, Andrew Kennedy:
Interlanguage Working Without Tears: Blending SML with Java. 126-137
Electronic Edition (ACM DL) BibTeX

Session VI

Matthew Flatt, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen:
Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine). 138-147
Electronic Edition (ACM DL) BibTeX
Malcolm Wallace, Colin Runciman:
Haskell and XML: Generic Combinators or Type-Based Translation? 148-159
Electronic Edition (ACM DL) BibTeX

Session VII

Atsushi Ohori, Nobuaki Yoshida:
Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML. 160-171
Electronic Edition (ACM DL) BibTeX
Neal Glew:
Type Dispatch for Named Hierarchical Types. 172-182
Electronic Edition (ACM DL) BibTeX
Christopher League, Zhong Shao, Valery Trifonov:
Representing Java Classes in a Typed Intermediate Language. 183-196
Electronic Edition (ACM DL) BibTeX

Session VIII

Steve Zdancewic, Dan Grossman, J. Gregory Morrisett:
Principals in Programming Languages: A Syntactic Proof Technique. 197-207
Electronic Edition (ACM DL) BibTeX
Martin Elsman:
Static Interpretation of Modules. 208-219
Electronic Edition (ACM DL) BibTeX
Zhong Shao:
Transparent Modules with Fully Syntactic Signatures. 220-232
Electronic Edition (ACM DL) BibTeX

Session IX

Karl Crary, Stephanie Weirich:
Flexible Type Analysis. 233-248
Electronic Edition (ACM DL) BibTeX
Olaf Chitil:
Type Inference Builds a Short Cut to Deforestation. 249-260
Electronic Edition (ACM DL) BibTeX

Session X

Frank Huch:
Verification of Erlang Programs using Abstract Interpretation and Model Mhecking. 261-272
Electronic Edition (ACM DL) BibTeX
María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal:
Specialization of Inductively Sequential Functional Logic Programs. 273-283
Electronic Edition (ACM DL) BibTeX