|
14
|
Rewriting Haskell Strings
– Duncan Coutts, Don Stewart, Roman Leshchinskiy
- 2007
|
|
12
|
The Impact of seq on Free Theorems-Based Program Transformations
– Patricia Johann, Janis Voigtländer
- 2006
|
|
4
|
Strategies for Fusing Logic and Control via Local, Application-Specific Transformations
– Patricia Johann, Patricia Johann, Patricia Johann, Eelco Visser, Eelco Visser, Eelco Visser
- 2003
|
|
9
|
Monadic augment and generalised short cut fusion
– Neil Ghani, Patricia Johann
- 2005
|
|
|
In submission. Please do not redistribute. Haskell Beats C Using Generalized Stream Fusion Geoffrey Mainland
– Cambridge England, Roman Leshchinskiy, Simon Peyton Jones, Simon Marlow
|
|
5
|
Proving correctness via free theorems: The case of the destroy/build-rule
– Janis Voigtländer
- 2008
|
|
22
|
Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems
– Patricia Johann, Eelco Visser
- 2000
|
|
1
|
Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Languages
– Patricia Johann, John Launchbury
- 1997
|
|
1
|
Supero: Making Haskell faster
– Neil Mitchell, Colin Runciman
- 2007
|
|
16
|
A Supercompiler for Core Haskell
– Neil Mitchell, Colin Runciman
|
|
33
|
Free Theorems in the Presence of seq
– Patricia Johann, Janis Voigtländer
- 2004
|
|
56
|
Data Parallel Haskell: a status report
– Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon Peyton Jones, Gabriele Keller, Simon Marlow
- 2007
|
|
20
|
Composition of functions with accumulating parameters
– Janis Voigtländer, Armin Kühnemann
- 2004
|
|
1
|
Lumberjack Summer Camp: A Cross-Institutional Undergraduate Research Experience in Computer Science
– Patricia Johann, Franklyn A. Turbak
- 2001
|
|
2
|
Using Monads to Fuse Recursive Programs (Extended Abstract)
– Claus Jürgensen
- 2002
|
|
4
|
Semantics and pragmatics of new shortcut fusion rules
– Janis Voigtländer
- 2008
|
|
5
|
Type-inference based short cut deforestation (nearly) without inlining
– Olaf Chitil
- 1999
|
|
1
|
Zip Fusion with Hyperfunctions
– John Launchbury, Sava Krstic, Timothy E. Sauerwein
- 2000
|
|
24
|
Type Inference Builds a Short Cut to Deforestation
– Olaf Chitil
- 1999
|
