|
7
|
Interprocedural Register Allocation for Lazy Functional Languages
– Urban Boquist
- 1995
|
|
18
|
Compiling Standard ML For Efficient Execution On Modern Machines
– Zhong Shao
- 1994
|
|
|
by
– Jason Smith
|
|
1
|
Efficient and safe-for-space closure conversion
– Zhong Shao, Andrew W. Appel
|
|
7
|
A Systematic Study of Functional Language Implementations
– Rémi Douence, Pascal Fradet
- 1998
|
|
180
|
Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine - Version 2.5
– Simon L Peyton Jones
- 1992
|
|
|
A Mobile Functional Object Code
– Manuel M.T. Chakravarty
- 1998
|
|
2
|
The Spineless Tagless G-machine, naturally
– Jon Mountjoy
- 1998
|
|
2
|
The next 700 Krivine Machines
– Rémi Douence, Pascal Fradet
- 2003
|
|
|
Author manuscript, published in "N/P" 1 The Next 700 Krivine Machines
– Rémi Douence, Pascal Fradet
- 2005
|
|
13
|
Optimal Type Lifting
– Bratin Saha, Zhong Shao
- 1998
|
|
65
|
Space-Efficient Closure Representations
– Zhong Shao, Andrew W. Appel
- 1994
|
|
22
|
Callee-save Registers in Continuation-passing Style
– Andrew W. Appel, Zhong Shao
- 1992
|
|
|
The Design and Implementation of a Safe, Lightweight Haskell Compiler
– Timothy Jan Chevalier
|
|
4
|
Fold-Unfold Transformations On State Monadic Interpreters
– Thomas Johnsson
- 1994
|
|
52
|
Compiling Haskell by program transformation: a report from the trenches
– Simon L. Peyton Jones
- 1996
|
|
7
|
Deterministic Concurrency
– David Paul Carter
- 1993
|
|
2
|
A Typed Functional Language for Expressing Register Usage
– Johan Agat
- 1998
|
|
|
Back End Issues for Modern Microprocessors: The State of the Art
– Karl-Filip Faxén
- 1997
|
