|
93
|
The Polymorphic Pi-calculus: Theory and Implementation
– David N. Turner
- 1995
|
|
2
|
Tools for a Calculus of Broadcasting Systems
– Jenny Petersson
- 1993
|
|
18
|
Compiling Standard ML For Efficient Execution On Modern Machines
– Zhong Shao
- 1994
|
|
33
|
The Recursive Record Semantics of Objects Revisited
– Gérard Boudol, Projets Mimosa
- 2001
|
|
4
|
A Parallel Functional Language Compiler for Message-Passing Multicomputers
– Sahalu B. Junaidu
- 1998
|
|
1
|
An Implementation of the Haskell Language
– Diomidis Spinellis
- 1990
|
|
3
|
A Rational Deconstruction of Landin’s J Operator
– Olivier Danvy, Kevin Millikin
- 2006
|
|
|
The Peter Landin prize
– Kevin Hammond, Greg Michaelson
- 2010
|
|
5
|
A Parallel Complexity Model for Functional Languages
– Guy Blelloch , John Greiner
- 1994
|
|
23
|
A rational deconstruction of Landin’s SECD machine
– Olivier Danvy, Kevin Millikin
- 2004
|
|
|
Constrained Cuantification in Polymorphic Type Analysis
– Pavel Curtis
- 1990
|
|
5
|
Weak Polymorphism Can Be Sound
– John Greiner
- 1996
|
|
|
Décrire Et Comparer Les Implantations De Langages Fonctionnels
– Rémi Douence, Pascal Fradet
- 1996
|
|
1
|
Efficient and safe-for-space closure conversion
– Zhong Shao, Andrew W. Appel
|
|
22
|
Callee-save Registers in Continuation-passing Style
– Andrew W. Appel, Zhong Shao
- 1992
|
|
2
|
A Parallel Virtual Machine for Bulk Synchronous Parallel ML
– Frederic Gava, Frederic Loulergue
- 2003
|
|
65
|
Space-Efficient Closure Representations
– Zhong Shao, Andrew W. Appel
- 1994
|
|
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
|
|
10
|
A Taxonomy of Functional Language Implementations Part II: Call-by-Name, Call-by-Need and Graph Reduction
– Rémi Douence , Pascal Fradet
- 1996
|
