The Journal of Functional Programming, Volume 2
Volume 2, Number 1, January 1992
- Manfred Broy, Claus Dendorfer:
Modelling Operating System Structures by Timed Stream Processing Functions. 1-21 - Robert L. Wainwright, Marian E. Sexton:
A Study of Sparse Matrix Representations for Solving Linear Systems in a Functional Language. 61-72
Volume 2, Number 2, April 1992
- Simon L. Peyton Jones:
Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-Machine. 127-202 - Harry G. Mairson:
Quantifier Elimination and Parametric Polymorphism in Programming Languages. 213-226
Volume 2, Number 3, July 1992
- Frank S. K. Silbermann, Bharat Jayaraman:
A Domain-Theoretic Approach to Functional and Logic Programming. 273-321
Volume 2, Number 4, October 1992
- Gad Aharoni, Dror G. Feitelson, Amnon Barak:
A Run-Time Algorithm for Managing the Granularity of Parallel Functional Programs. 387-405 - P. J. Brumfitt:
MetaMorph - A Formal Methods Toolkit with Application to the Design of Digital Hardware. 437-473