|
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
|
|
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
|
|
94
|
Unboxed values as first class citizens in a non-strict functional language
– Simon L Peyton Jones, John Launchbury
- 1991
|
|
29
|
Compilation by Transformation in Non-Strict Functional Languages
– André L. de M. Santos
- 1995
|
|
18
|
Compiling Standard ML For Efficient Execution On Modern Machines
– Zhong Shao
- 1994
|
|
|
A Survey of Sequential and Parallel Implementation Techniques for Functional Programming Languages
– Ralph C. Hilzer, Jr. , Lawrence A. Crowl
- 1995
|
|
272
|
Computational Interpretations of Linear Logic
– Samson Abramsky
- 1993
|
|
11
|
The GRIN Project: A Highly Optimising Back End for Lazy Functional Languages
– Urban Boquist, Thomas Johnsson
- 1996
|
|
4
|
A Parallel Functional Language Compiler for Message-Passing Multicomputers
– Sahalu B. Junaidu
- 1998
|
|
|
Efficient Compilation of Functional Languages by Program Transformation
– André Santos
- 1997
|
|
13
|
The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms
– Amr A. Sabry
- 1994
|
|
7
|
A Systematic Study of Functional Language Implementations
– Rémi Douence, Pascal Fradet
- 1998
|
|
1
|
Graph-based Operational Semantics of a Lazy Functional Language
– Kristoffer H. Rose, Kristoffer H. Rose
|
|
1
|
Parallel Haskell: The vectorisation monad
– Keith Clarke, Jonathan M. D. Hill
- 1993
|
|
3
|
The Vectorisation Monad
– Jonathan M. D. Hill, Keith M. Clarke, Richard Bornat
- 1994
|
|
43
|
Parallel Programming using Functional Languages
– Paul Roe
- 1991
|
|
10
|
A Modular Fully-lazy Lambda Lifter in HASKELL
– Simon L. Peyton Jones, David Lester
- 1991
|
|
1
|
Cps-Translation and the Correctness of Optimising Compilers
– Geoffrey Burn, Daniel Le Métayer
- 1992
|
