|
595
|
Compiling with Continuations
– Andrew Appel
- 1992
|
|
515
|
The Implementation of Functional Programming Languages
– S Peyton Jones
- 1987
|
|
169
|
A Natural Semantics for Lazy Evaluation
– John Launchbury
- 1993
|
|
115
|
The Glasgow Haskell compiler: a technical overview
– Simon L. Peyton Jones, Cordy Hall, Kevin Hammond, Jones Cordy, Hall Kevin, Will Partain, Phil Wadler
- 1992
|
|
53
|
Cheap Deforestation for Non-strict Functional Languages
– Andrew John Gill, Andrew John Gill
- 1996
|
|
219
|
TIL: A Type-Directed Optimizing Compiler for ML
– David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee
- 1995
|
|
117
|
Report on the functional programming language Haskell, version 1.2
– Paul Hudak, Simon L Peyton Jones, Philip Wadler
- 1992
|
|
39
|
Time and Space Profiling for Non-Strict, Higher-Order Functional Languages
– Patrick M. Sansom, Simon L. Peyton Jones
- 1995
|
|
91
|
The ZINC Experiment: An Economical Implementation of the ML Language
– X Leroy
- 1990
|
|
35
|
Compilation of functional languages by program transformation
– P Fradet
- 1991
|
|
70
|
Realistic Compilation by Program Transformation
– Richard Kelsey, Paul Hudak
- 1989
|
|
57
|
The design and implementation of programming languages
– RJM Hughes
- 1983
|
|
12
|
ORBIT - an optimising compiler for Scheme
– DA Kranz
- 1988
|
|
251
|
Compiling polymorphism using intensional type analysis
– Robert Harper, Greg Morrisett
- 1995
|
|
1497
|
The Definition of Standard ML
– R Milner, M Tofte, R Harper
- 1990
|
|
41
|
TIM: A Simple, Lazy Abstract Machine to Execute Supercombinators
– J Fairbairn, S C Wray
- 1987
|
|
3
|
SL Graham & OJ Sharp [Dec 1994], "Compiler transformations for high-performance computing
– DF Bacon
|
|
4
|
1971], "Une extension de l'interpretation de Godel a l'analyse, et son application a l'elimination de coupures dans l'analyse et la theorie des types
– J Girard
|
|
3
|
1974], "Towards a theory of type structure
– JC Reynolds
|
