|
1497
|
The Definition of Standard ML
– R Milner, M Tofte, R Harper
- 1990
|
|
515
|
The Implementation of Functional Programming Languages
– S Peyton Jones
- 1987
|
|
375
|
Deforestation: Transforming programs to eliminate trees
– Philip Wadler
- 1990
|
|
91
|
Projections for Strictness Analysis
– Philip Wadler, R. J. M. Hughes
- 1987
|
|
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
|
|
317
|
The Integration of Functions into Logic Programming: From Theory to Practice
– Michael Hanus
- 1994
|
|
1225
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
595
|
Compiling with Continuations
– Andrew Appel
- 1992
|
|
28
|
Evaluation transformers --- a model for the parallel evaluation of functional languages (extended abstract
– Geoffrey Burn
- 1987
|
|
23
|
Generating Efficient Code for Lazy Functional Languages
– Sjaak Smetsers, Eric Nöcker, John Van Groningen, Rinus Plasmeijer
- 1991
|
|
51
|
Programming objects with ML-ART: An extension to ML with abstract and record types
– Didier Rémy
- 1994
|
|
168
|
The Art of Prolog: Advanced Programming Techniques
– L Sterling, E Shapiro
- 1986
|
|
213
|
Monad Transformers and Modular Interpreters
– Sheng Liang, Paul Hudak, Mark Jones
- 1995
|
|
64
|
Composing Monads
– Mark P. Jones, Luc Duponcheel
- 1993
|
|
153
|
An abstract view of programming languages
– Eugenio Moggi
- 1989
|
|
94
|
Unboxed values as first class citizens in a non-strict functional language
– Simon L Peyton Jones, John Launchbury
- 1991
|
|
62
|
Compiling Lazy Functional Languages
– T Johnsson
- 1987
|
|
11
|
Assessing the Evaluation Transformer Model of Reduction on the Spineless G-machine
– Sigbjørn Finne, Spineless G-machine, Geoffrey Burn
- 1993
|
|
118
|
Efficient Compilation of Lazy Evaluation
– Thomas Johnsson
- 1984
|
