The Journal of Functional Programming, Volume 8

Volume 8, Number 1, January 1998

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

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

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

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 BibTeX
• Thérèse Hardin, Luc Maranget: Functional Runtime Systems Within the Lambda-Sigma Calculus. 131-176 BibTeX
• P. N. Benton, Gavin M. Bierman, Valeria de Paiva: Computational Types from a Logical Perspective. 177-193 BibTeX
• Chris Okasaki: Functional Pearl: Even Higher-Order Functions for Parsing. 195-199 BibTeX

Volume 8, Number 3, May 1998

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

Volume 8, Number 4, July 1998

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

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

Volume 8, Number 5, September 1998

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

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

Volume 8, Number 6, November 1998

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

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