JFP 1992

21 papers

1. A Categorical Understanding of Environment Machines · Andrea Asperti
2. A Domain-Theoretic Approach to Functional and Logic Programming · Frank S. K. Silbermann, Bharat Jayaraman
3. A Practical Functional Program for the CRAY X-MP · James M. Boyle, Terence J. Harmer
4. A Run-Time Algorithm for Managing the Granularity of Parallel Functional Programs · Gad Aharoni, Dror G. Feitelson, Amnon Barak
5. A Study of Sparse Matrix Representations for Solving Linear Systems in a Functional Language · Roger L. Wainwright, Marian E. Sexton
6. A Symmetric Set of Efficient List Operations · Rob R. Hoogerwoord
7. Abstract Interpretation by Dynamic Partitioning · François Bourdoncle
8. Computing with Lattices: An Application of Type Classes · Mark P. Jones
9. Distributed Random Number Generation · F. Warren Burton, Rex L. Page
10. Efficient Self-Interpretations in lambda Calculus · Torben Æ. Mogensen
11. Enumerators of lambda Terms are Reducing · Henk Barendregt
12. Higher-Order Functions for Parsing · Graham Hutton
13. Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-Machine · Simon L. Peyton Jones
14. MetaMorph - A Formal Methods Toolkit with Application to the Design of Digital Hardware · P. J. Brumfitt
15. Modelling Operating System Structures by Timed Stream Processing Functions · Manfred Broy, Claus Dendorfer
16. Polymorphic Type, Region and Effect Inference · Jean-Pierre Talpin, Pierre Jouvelot
17. Quantifier Elimination and Parametric Polymorphism in Programming Languages · Harry G. Mairson
18. Representing 'undefined' in lambda Calculus · Henk Barendregt
19. Tail Recursion without Space Leaks · Richard E. Jones
20. Two Greedy Algorithms · Richard S. Bird
21. Unravelling Greedy Algorithms · Richard S. Bird