JFP 1994

20 papers

1. A - Translation and Looping Combinators in Pure Type Systems · Thierry Coquand, Hugo Herbelin
2. A Functional Animation Starter-Lit · Kavi Arya
3. A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics · Kim B. Bruce
4. Algorithmic Debugging for Lazy Functional Languages · Henrik Nilsson, Peter Fritzson
5. An Overview of the Flagship System · John A. Keane
6. Baby Modula-3 and a Theory of Objects · Martín Abadi
7. 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 · Graham Hutton
8. How Powerful are Folding/Unfolding Transformations? · Hong Zhu
9. Lilac: A Functional Programming Language Based on Linear Logic · Ian Mackie
10. On Generating unique Names · Lennart Augustsson, Mikael Rittri, Dan Synek
11. On the Equivalence Between CMC and TIM · Rafael Dueire Lins, Simon J. Thompson, Simon L. Peyton Jones
12. On the Generation of Specializers · Robert Glück
13. Principal Signatures for Higher-Order Program Modules · Mads Tofte
14. Residual Theory in lambda-Calculus: A Formal Development · Gérard P. Huet
15. Safe Fusion of Functional Expressions II: Further Improvements · Wei-Ngan Chin
16. Simple Type-Theoretic Foundations for Object-Oriented Programming · Benjamin C. Pierce, David N. Turner
17. The Complexity of Type Inference for Higher-Order Typed lambda Calculi · Fritz Henglein, Harry G. Mairson
18. Total Unfolding: Theory and Applications · Björn Lisper
19. Worst Case Scheduling for Parallel Functional Programs · F. Warren Burton, Victor J. Rayward-Smith
20. Yet Yet a Counterexample for lambda + SP · Pierre-Louis Curien, Thérèse Hardin