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

Theoretical Pearl

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

Functional Pearl

Type Systems for Object-Oriented Programming

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

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

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