|
8
|
Models for Persistence in Lazy Functional Programming Systems
– David John McNally, Ky Ss, Tony Davie, Al Dearle, Simon Peyton Jones, Stef Joosten, Graham Kirby
- 1993
|
|
6
|
Interpreter Prototypes From Formal Language Definitions
– Gregory John Michaelson
- 1993
|
|
|
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments
– Claus Reinke
- 1998
|
|
18
|
Delivering the Benefits of Persistence to System Construction and Execution
– Quintin I. Cutts
- 1992
|
|
23
|
On the Integration of Concurrency, Distribution and Persistence
– David S. Munro
- 1993
|
|
|
Napier88 Reference Manual
– Release July, Ron Morrison, Fred Brown, Richard Connor, Quintin Cutts, Alan Dearle, Dave Munro
- 1996
|
|
6
|
The Napier88 Reference Manual - Release 2.0
– Ron Morrison, Fred Brown, Richard Connor, Quintin Cutts, Al Dearle, Graham Kirby, Dave Munro
- 1994
|
|
|
Lambda-Calculus and Functional Programming
– Jonathan P. Seldin
|
|
37
|
Polymorphism and Type Inference in Database Programming
– Peter Buneman, Atsushi Ohori
|
|
1
|
Reusable Ada libraries supporting infinite data structures
– Arthur G. Duncan
- 1998
|
|
|
Introduction to Functional Programming using Gofer
– E. P. Wentworth
- 1990
|
|
3
|
Target code generation from G-machine code
– Thomas Johnsson
- 1986
|
|
54
|
Grasshopper: An orthogonally persistent operating system
– Alan Dearle, Rex di Bona, James Farrow, Frans Henskens, Anders Lindström, John Rosenberg, Francis Vaughan
- 1994
|
|
2
|
Formal Methods within A Totally Functional Approach to Programming”, to appear
– Paul A. Bailes, Colin J. M. Kemp
|
|
38
|
evolution, and application of functional programming languages
– Paul Hudak
- 1989
|
|
17
|
The Impact of the Lambda Calculus in Logic and Computer Science
– Henk Barendregt, Jon Barwise, Johan Van Benthem, Andreas Blass, Olivier Danvy, Pierre Lescanne, Hans Mooij, Robert Maron, Rinus Plasmeijer, Y Pollack
- 1997
|
|
|
Napier88 Reference Manual
– Release July Ron, Ron Morrison, Fred Brown, Richard Connor, Quintin Cutts, Alan Dearle, Graham Kirby, Dave Munro
- 1996
|
|
116
|
On the Expressive Power of Programming Languages
– Matthias Felleisen
- 1990
|
|
1
|
Operational Machine Specification in a Functional Programming Language
– P. W. M. Koopman
- 1995
|
