Two Models For Integrating Persistence and Lazy Functional Languages (1991)

Cached

Download Links

by David J. McNally , Antony J. T. Davie
Citations:5 - 0 self

Active Bibliography

9 Models for Persistence in Lazy Functional Programming Systems – David John McNally - 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
38 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
v For Dorothy, Mabel, and John. vii Acknowledgments – Derek J. Smith, Derek J. Smith, Brian Divine, Steve Fisher, Stephanie Forrest, Ron Hightower, Jim Hollan, Jan Claus, Karen Creedon, Nancy Cox, Sibylle Cseri, Dipankar Dasgupta
2 Formal Methods within A Totally Functional Approach to Programming”, to appear – Paul A. Bailes, Colin J. M. Kemp
44 evolution and application of functional programming languages – Paul Hudak - 1989
23 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
132 On the Expressive Power of Programming Languages – Matthias Felleisen - 1990