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

Functional Pearl

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

Theoretical Pearl

• 
  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

Functional Pearl

• 
  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

Functional Pearl

• 
  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

Functional Pearls

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