The Journal of Functional Programming, Volume 4

Volume 4, Number 1, January 1994

• Kavi Arya: A Functional Animation Starter-Lit. 1-18 BibTeX
• John A. Keane: An Overview of the Flagship System. 19-45 BibTeX
• Rafael Dueire Lins, Simon J. Thompson, Simon L. Peyton Jones: On the Equivalence Between CMC and TIM. 47-63 BibTeX
• F. Warren Burton, Victor J. Rayward-Smith: Worst Case Scheduling for Parallel Functional Programs. 65-75 BibTeX
• Thierry Coquand, Hugo Herbelin: A - Translation and Looping Combinators in Pure Type Systems. 77-88 BibTeX
• Hong Zhu: How Powerful are Folding/Unfolding Transformations? 89-112 BibTeX

• Pierre-Louis Curien, Thérèse Hardin: Yet Yet a Counterexample for lambda + SP. 113-115 BibTeX

• Lennart Augustsson, Mikael Rittri, Dan Synek: On Generating unique Names. 117-123 BibTeX

Volume 4, Number 2, April 1994

• Kim B. Bruce: A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics. 127-206 BibTeX
• Benjamin C. Pierce, David N. Turner: Simple Type-Theoretic Foundations for Object-Oriented Programming. 207-247 BibTeX
• Martín Abadi: Baby Modula-3 and a Theory of Objects. 249-283 BibTeX

Volume 4, Number 3, July 1994

• Mads Tofte: Principal Signatures for Higher-Order Program Modules. 285-335 BibTeX
• Henrik Nilsson, Peter Fritzson: Algorithmic Debugging for Lazy Functional Languages. 337-369 BibTeX
• Gérard P. Huet: Residual Theory in lambda-Calculus: A Formal Development. 371-394 BibTeX

Volume 4, Number 4, October 1994

• Ian Mackie: Lilac: A Functional Programming Language Based on Linear Logic. 395-433 BibTeX
• Fritz Henglein, Harry G. Mairson: The Complexity of Type Inference for Higher-Order Typed lambda Calculi. 435-477 BibTeX
• Björn Lisper: Total Unfolding: Theory and Applications. 479-498 BibTeX
• Robert Glück: On the Generation of Specializers. 499-514 BibTeX
• Wei-Ngan Chin: Safe Fusion of Functional Expressions II: Further Improvements. 515-555 BibTeX
• Graham Hutton: Book Review: Introduction to HOL: A Theorem Proving Environment for Higher Order Logic by Mike Gordon and Tom Melham (eds.), Cambridge University Press, 1993, ISBN 0-521-44189-7. 557-559 BibTeX