|
|
Lambda-Calculus and Functional Programming
– Jonathan P. Seldin
|
|
9
|
On the Search for Tractable Ways of Reasoning about Programs
– C. B. Jones
- 2001
|
|
14
|
The Early Search for Tractable Ways of Reasoning About Programs
– C. B. Jones
- 2003
|
|
|
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
|
|
7
|
Deterministic Concurrency
– David Paul Carter
- 1993
|
|
3
|
A Visual Programming Environment for Functional Languages
– Joel Kelso
- 2002
|
|
18
|
Compiling Standard ML For Efficient Execution On Modern Machines
– Zhong Shao
- 1994
|
|
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
|
|
|
A Survey of Sequential and Parallel Implementation Techniques for Functional Programming Languages
– Ralph C. Hilzer, Jr. , Lawrence A. Crowl
- 1995
|
|
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
|
|
27
|
Declarative Continuations and Categorical Duality
– Andrzej Filinski
- 1989
|
|
57
|
The origins of structural operational semantics
– Gordon D. Plotkin
- 2004
|
|
4
|
A Parallel Functional Language Compiler for Message-Passing Multicomputers
– Sahalu B. Junaidu
- 1998
|
|
1
|
Semantic Analyses for Storage Management Optimizations in Functional Language Implementations
– Young Gil Park, Benjamin Goldberg, Grace Sunjung, Jihwa Park
- 1991
|
|
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
|
|
43
|
Parallel Programming using Functional Languages
– Paul Roe
- 1991
|
|
1
|
A Generic Object-Calculus Based on Addressed Term Rewriting Systems
– Dan Dougherty, Frédéric Lang, Pierre Lescanne, Luigi Liquori, Kristoffer Rose
- 2001
|
|
7
|
Dynamic Slicing In Higher-Order Programming Languages
– Sandip K. Biswas, Carl A. Gunter, Insup Lee
- 1997
|
|
272
|
Computational Interpretations of Linear Logic
– Samson Abramsky
- 1993
|
