|
4
|
An External Representation for the GHC Core Language. http: //www.haskell.org/ghc/docs/papers/core.ps.gz
– Andrew Tolmach
- 2001
|
|
5
|
Refal-5, Programming Guide and Reference Manual
– V F Turchin
- 1989
|
|
16
|
Experiments with a supercompiler
– Valentin F. Turchin, Robert M. Nirenberg, Dimitri V. Turchin
- 1982
|
|
69
|
On perfect supercompilation
– Jens Peter Secher, Morten Heine Sørensen
- 1996
|
|
41
|
The algorithm of generalization in the supercompiler
– Valentin F Turchin
- 1988
|
|
25
|
Homeomorphic embedding for online termination of symbolic methods
– Michael Leuschel
- 2002
|
|
8
|
Yhc.Core - from Haskell to Core
– Dimitry Golubovsky, Neil Mitchell, Matthew Naylor
- 2007
|
|
11
|
The GRIN Project: A Highly Optimising Back End for Lazy Functional Languages
– Urban Boquist, Thomas Johnsson
- 1996
|
|
17
|
Deforestation for Higher-Order Functional Programs
– Simon David Marlow
- 1995
|
|
4
|
jhc: John’s Haskell compiler. http://repetae.net/ john/computer/jhc
– John Meacham
- 2008
|
|
7
|
et al. The nofib Benchmark Suite of Haskell Programs. http://darcs.haskell.org/nofib
– Will Partain
- 2008
|
|
10
|
Positive Supercompilation for a higher order call-by-value language
– Peter A. Jonsson, Johan Nordl
- 2007
|
|
20
|
Highlights from nhc - a space-efficient Haskell compiler
– Niklas Röjemo
- 1995
|
|
180
|
Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine - Version 2.5
– Simon L Peyton Jones
- 1992
|
|
66
|
An Algorithm of Generalization in Positive Supercompilation
– Morten H. Sørensen, Robert Glück
- 1995
|
|
155
|
The Concept of a Supercompiler
– Valentin F. Turchin
- 1986
|
|
47
|
Let-Floating: Moving Bindings to Give Faster Programs
– Simon Peyton Jones, Will Partain, et al.
- 1997
|
|
100
|
98 language and libraries: the Revised Report
– Haskell
- 2003
|
|
88
|
Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell
– Simon Peyton Jones
- 2001
|
