|
|
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
|
|
20
|
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
|
|
3
|
Implicit and Explicit Aspects of Scope and Block Structure
– Ulrik Pagh Schultz
|
|
29
|
Compilation by Transformation in Non-Strict Functional Languages
– André L. de M. Santos
- 1995
|
|
10
|
A Taxonomy of Functional Language Implementations Part II: Call-by-Name, Call-by-Need and Graph Reduction
– Rémi Douence , Pascal Fradet
- 1996
|
|
59
|
Defunctionalization at Work
– Olivier Danvy, Lasse R. Nielsen
- 2001
|
|
116
|
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
|
|
|
Compiling Lazy Functional Languages: An introduction
– Thomas Johnsson
- 1987
|
