4. ICFP 1999: Paris, France

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 May 21 16:57:49 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page