|
595
|
Compiling with Continuations
– Andrew Appel
- 1992
|
|
57
|
The design and implementation of programming languages
– RJM Hughes
- 1983
|
|
35
|
Compilation of functional languages by program transformation
– P Fradet
- 1991
|
|
70
|
Realistic Compilation by Program Transformation
– Richard Kelsey, Paul Hudak
- 1989
|
|
515
|
The Implementation of Functional Programming Languages
– S Peyton Jones
- 1987
|
|
117
|
Report on the functional programming language Haskell, version 1.2
– Paul Hudak, Simon L Peyton Jones, Philip Wadler
- 1992
|
|
53
|
Cheap Deforestation for Non-strict Functional Languages
– Andrew John Gill, Andrew John Gill
- 1996
|
|
169
|
A Natural Semantics for Lazy Evaluation
– John Launchbury
- 1993
|
|
180
|
Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine - Version 2.5
– Simon L Peyton Jones
- 1992
|
|
12
|
ORBIT - an optimising compiler for Scheme
– DA Kranz
- 1988
|
|
1225
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
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
|
|
3
|
M Odersky & P Wadler [Jan 1995], "A call by need lambda calculus
– Z Ariola, M Felleisen, J Maraist
|
|
3
|
SL Graham & OJ Sharp [Dec 1994], "Compiler transformations for high-performance computing
– DF Bacon
|
|
3
|
A Sabry, B Duba & M Felleisen [June 1993], "The essence of compiling with continuations
– C Flanagan
|
|
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
|
N Adams [1986], "ORBIT - an optimising compiler for Scheme
– DA Kranz, R Kelsey, J Rees, P Hudak, J Philbin
|
|
3
|
1974], "Towards a theory of type structure
– JC Reynolds
|
|
3
|
Sept 1995], "Compilation by transformation in non-strict functional languages
– A Santos
|
