|
16
|
A Supercompiler for Core Haskell
– Neil Mitchell, Colin Runciman
|
|
7
|
Rethinking Supercompilation
– Neil Mitchell
- 2010
|
|
|
Losing Functions without Gaining Data – another look at defunctionalisation
– Neil Mitchell, Colin Runciman
|
|
|
In submission. Please do not redistribute. Haskell Beats C Using Generalized Stream Fusion Geoffrey Mainland
– Cambridge England, Roman Leshchinskiy, Simon Peyton Jones, Simon Marlow
|
|
29
|
Compilation by Transformation in Non-Strict Functional Languages
– André L. de M. Santos
- 1995
|
|
29
|
Stream Fusion. From Lists to Streams to Nothing at All
– Duncan Coutts, Roman Leshchinskiy, Don Stewart
- 2007
|
|
1
|
Mesa Language
– Neil Mitchell
- 1979
|
|
5
|
Proving correctness via free theorems: The case of the destroy/build-rule
– Janis Voigtländer
- 2008
|
|
4
|
Supercompilation by evaluation
– Max Bolingbroke, Simon Peyton Jones
- 2010
|
|
56
|
Data Parallel Haskell: a status report
– Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon Peyton Jones, Gabriele Keller, Simon Marlow
- 2007
|
|
1
|
Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Languages
– Patricia Johann, John Launchbury
- 1997
|
|
27
|
Proving the Correctness of Recursion-Based Automatic Program Transformations
– David Sands
- 1996
|
|
18
|
A Foundation for Space-Safe Transformations of Call-by-Need Programs
– Jörgen Gustavsson , David Sands
- 1999
|
|
18
|
Compiling Standard ML For Efficient Execution On Modern Machines
– Zhong Shao
- 1994
|
|
2
|
Realtime Signal Processing Data ow, Visual, and Functional Programming
– Hideki John Reekie
- 1995
|
|
13
|
Realtime Signal Processing -- Dataflow, Visual, and Functional Programming
– Hideki John Reekie
- 1995
|
|
|
Not all patterns, but enough -- . . .
– Neil Mitchell, Colin Runciman
- 2008
|
|
2
|
Regular, shape-polymorphic, parallel arrays in Haskell
– Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon Peyton
- 2010
|
|
11
|
Constructor specialisation for Haskell programs
– Simon Peyton Jones
- 2007
|
