|
29
|
Compilation by Transformation in Non-Strict Functional Languages
– André L. de M. Santos
- 1995
|
|
17
|
Deforestation for Higher-Order Functional Programs
– Simon David Marlow
- 1995
|
|
52
|
Compiling Haskell by program transformation: a report from the trenches
– Simon L. Peyton Jones
- 1996
|
|
47
|
Let-Floating: Moving Bindings to Give Faster Programs
– Simon Peyton Jones, Will Partain, et al.
- 1997
|
|
180
|
Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine - Version 2.5
– Simon L Peyton Jones
- 1992
|
|
32
|
Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure
– Olivier Danvy, Ulrik P. Schultz
- 2001
|
|
94
|
Unboxed values as first class citizens in a non-strict functional language
– Simon L Peyton Jones, John Launchbury
- 1991
|
|
39
|
Secrets of the Glasgow Haskell Compiler inliner
– Simon Peyton Jones, Simon Marlow
- 1999
|
|
3
|
Implicit and Explicit Aspects of Scope and Block Structure
– Ulrik Pagh Schultz
|
|
|
On Program Transformation in the Glasgow Haskell Compiler
– André Santos, Simon L. Peyton Jones
- 1993
|
|
|
On Program Transformation in the Glasgow Haskell Compiler
– Andr'e Santos Simon, Simon L Peyton Jones
|
|
1
|
Cps-Translation and the Correctness of Optimising Compilers
– Geoffrey Burn, Daniel Le Métayer
- 1992
|
|
4
|
Proving the Correctness of Compiler Optimisations Based on Strictness Analysis
– Geoffrey Burn, Daniel Le Métayer
- 1993
|
|
15
|
Proving the Correctness of Compiler Optimisations Based on a Global Analysis: A Study of Strictness Analysis
– Geoffrey Burn, Daniel Le M'etayer
- 1992
|
|
3
|
A Visual Programming Environment for Functional Languages
– Joel Kelso
- 2002
|
|
5
|
The Brisk Machine: A Simplified STG Machine
– Ian Holyer, Eleni Spiliopoulou
- 1997
|
|
2
|
Two Non-Determinism Analyses in Eden
– Ricardo Peña, Clara Segura
- 2000
|
|
1
|
Realising nondeterministic I/O in the Glasgow Haskell Compiler
– David Sabel
- 2003
|
|
5
|
Three Non-determinism Analyses in a Parallel-Functional Language
– Ricardo Peña, Clara Segura
- 2001
|
