Models for Persistence in Lazy Functional Programming Systems (1993)

Cached

Download Links

by David John McNally
Citations:9 - 0 self

Active Bibliography

Lambda-Calculus and Functional Programming – Jonathan P. Seldin
4 A Parallel Functional Language Compiler for Message-Passing Multicomputers – Sahalu B. Junaidu - 1998
6 Interpreter Prototypes From Formal Language Definitions – Gregory John Michaelson - 1993
7 Deterministic Concurrency – David Paul Carter - 1993
22 Equal Rights for Functional Objects or, The More Things Change, The More They Are the Same – Henry Baker - 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
A Survey of Sequential and Parallel Implementation Techniques for Functional Programming Languages – Ralph C. Hilzer, Jr. , Lawrence A. Crowl - 1995
1 A Generic Object-Calculus Based on Addressed Term Rewriting Systems – Dan Dougherty, Frédéric Lang, Pierre Lescanne, Luigi Liquori, Kristoffer Rose - 2001
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
3 Implementing the Charity Abstract Machine – Dale Barry Yee, C Fl Dale Barry Yee, Dr. K. Loose, Dr. C. Laflamme - 1995
Introduction to Functional Programming using Gofer – E. P. Wentworth - 1990
5 Implicit and Explicit Aspects of Scope and Block Structure – Ulrik Pagh Schultz
32 Compilation by Transformation in Non-Strict Functional Languages – André L. de M. Santos - 1995
9 A Taxonomy of Functional Language Implementations Part II: Call-by-Name, Call-by-Need and Graph Reduction – Rémi Douence , Pascal Fradet - 1996
70 Defunctionalization at Work – Olivier Danvy, Lasse R. Nielsen - 2001
Theses Series DISI-TH-2003-XX – Luca Paolini, Université De La Méditerranée, Luca Paolini, G. Rosolini, Ext Reviewers, A. Bucciarelli, S. Ronchi, Della Rocca
131 On the Expressive Power of Programming Languages – Matthias Felleisen - 1990
3 Within ARM's Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems – W. J. Fokkink, J. F. Th. Kamperman, H. R. Walters - 1997
Programming Language Concepts — The Lambda Calculus Approach ∗ – Maarten M. Fokkinga