The Journal of Functional Programming, Volume 8

Volume 8, Number 1, January 1998

• Amr Sabry:
  What is a Purely Functional Language? 1-22
  
• Philip W. Trinder, Kevin Hammond, Hans-Wolfgang Loidl, Simon L. Peyton Jones:
  Algorithms + Strategy = Parallelism. 23-60
  
• David Wakeling:
  The Dynamic Compilation of Lazy Functional Programs. 61-81
  

• Richard S. Bird:
  Meertens Number. 83-88
  

• Erik Poll:
  Expansion Postponement for Normalising Pure Type Systems. 89-96
  

Volume 8, Number 2, March 1998

• Robert F. Stärk:
  Why the Constant 'Undefined'? Logics of Partial Terms for Strict and Non-Strict Functional Programming Languages. 97-129
  
• Thérèse Hardin, Luc Maranget:
  Functional Runtime Systems Within the Lambda-Sigma Calculus. 131-176
  
• P. N. Benton, Gavin M. Bierman, Valeria de Paiva:
  Computational Types from a Logical Perspective. 177-193
  
• Chris Okasaki:
  Functional Pearl: Even Higher-Order Functions for Parsing. 195-199
  

Volume 8, Number 3, May 1998

• Richard G. Morgan, Stephen A. Jarvis:
  Profiling Large-Scale Lazy Functional Programs. 201-237
  
• John Hannan:
  A Type-Based Escape Analysis for Functional Languages. 239-273
  
• John Maraist, Martin Odersky, Philip Wadler:
  The Call-by-Need Lambda Calculus. 275-317
  

Volume 8, Number 4, July 1998

• Thomas Johnsson:
  Efficient Graph Algorithms Using Lazy Monolithic Arrays. 323-333
  
• Furio Honsell, Alberto Pravato, Simona Ronchi Della Rocca:
  Structured Operational Semantics of a Fragment of the Language Scheme. 335-365
  
• Andrew P. Tolmach, Dino Oliva:
  From ML to Ada: Strongly-Typed Language Interoperability via Source Translation. 367-412
  
• Michael Hedberg:
  A Coherence Theorem for Martin-Löf's Type Theory. 413-436
  

• Graham Hutton, Erik Meijer:
  Monadic Parsing in Haskell. 437-444
  

Volume 8, Number 5, September 1998

• William Ferreira, Matthew Hennessy, Alan Jeffrey:
  A Theory of Weak Bisimulation for Core CML. 447-491
  
• Guy Lapalme:
  Dynamic Tabbing for Automatic Indentation with the Layout Rule. 493-502
  
• Gary Meehan, Mike Joy:
  Animated Fuzzy Logic. 503-525
  

• Patrik Jansson, Johan Jeuring:
  Polytypic Unification. 527-536
  

Volume 8, Number 6, November 1998

• Thomas Streicher, Bernhard Reus:
  Classical Logic, Continuation Semantics and Abstract Machines. 543-572
  
• C. Barry Jay, Gianna Bellè, Eugenio Moggi:
  Functorial ML. 573-619
  
• Olivier Danvy:
  Functional Unparsing. 621-625
  

• Martin Erwig:
  Diets for Fat Sets. 627-632
  

Last update Tue May 21 19:15:34 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page