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
Miley Semmelroth, Amr Sabry:
Monadic Encapsulation in ML. 8-17

Session II

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

Session III

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

Session IV

Karl Crary:
A Simple Proof Technique for Certain Parametricity Results. 82-89
Assaf 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
Zdzislaw Splawski, Pawel Urzyczyn:
Type Fixpoints: Iteration vs. Recursion. 102-113

Session V

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

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
Malcolm Wallace, Colin Runciman:
Haskell and XML: Generic Combinators or Type-Based Translation? 148-159

Session VII

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

Session VIII

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

Session IX

Karl Crary, Stephanie Weirich:
Flexible Type Analysis. 233-248
Olaf Chitil:
Type Inference Builds a Short Cut to Deforestation. 249-260

Session X

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

Last update Tue Feb 14 04:01:07 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page