|
47
|
Let-Floating: Moving Bindings to Give Faster Programs
– Simon Peyton Jones, Will Partain, et al.
- 1997
|
|
375
|
Deforestation: Transforming programs to eliminate trees
– Philip Wadler
- 1990
|
|
173
|
A Short Cut to Deforestation
– Andrew Gill, John Launchbury, Simon L Peyton Jones
- 1993
|
|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
515
|
D.: Implementation of Functional Programming Languages
– Peyton Jones, S Lester
- 1987
|
|
31
|
Improvement in a Lazy Context: An Operational Theory for Call-By-Need
– Andrew Moran, David Sands
- 1999
|
|
9
|
Improvement Theory and its Applications
– David Sands
- 1997
|
|
33
|
Once Upon a Polymorphic Type
– Keith Wansbrough, Simon Peyton Jones
- 1998
|
|
68
|
The nofib Benchmark Suite of Haskell Programs
– Will Partain
- 1993
|
|
10
|
A Type Based Sharing Analysis for Update Avoidance and Optimisation
– Jörgen Gustavsson
- 1998
|
|
77
|
Once Upon a Type
– David Turner, Philip Wadler, Christian Mossin
- 1995
|
|
169
|
A Natural Semantics for Lazy Evaluation
– John Launchbury
- 1993
|
|
70
|
Warm Fusion: Deriving Build-Catas from Recursive Definitions
– John Launchbury, Tim Sheard
- 1995
|
|
39
|
Secrets of the Glasgow Haskell Compiler inliner
– Simon Peyton Jones, Simon Marlow
- 1999
|
|
180
|
Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine - Version 2.5
– Simon L Peyton Jones
- 1992
|
|
595
|
Compiling with Continuations
– Andrew Appel
- 1992
|
|
53
|
Cheap Deforestation for Non-strict Functional Languages
– Andrew John Gill, Andrew John Gill
- 1996
|
|
106
|
Building Program Optimizers with Rewriting Strategies
– Eelco Visser, Zine-el-Abidine, Andrew Tolmach
- 1998
|
|
533
|
A Transformation System for Developing Recursive Programs
– R. M. Burstall, John Darlington
- 1977
|
