|
17
|
Harnessing the Multicores: Nested Data Parallelism in Haskell
– Simon Peyton Jones, Roman Leshchinskiy, Gabriele Keller, Manuel M. T. Chakravarty
- 2008
|
|
56
|
Data Parallel Haskell: a status report
– Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon Peyton Jones, Gabriele Keller, Simon Marlow
- 2007
|
|
1
|
Supero: Making Haskell faster
– Neil Mitchell, Colin Runciman
- 2007
|
|
5
|
Proving correctness via free theorems: The case of the destroy/build-rule
– Janis Voigtländer
- 2008
|
|
16
|
A Supercompiler for Core Haskell
– Neil Mitchell, Colin Runciman
|
|
2
|
Regular, shape-polymorphic, parallel arrays in Haskell
– Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon Peyton
- 2010
|
|
|
Vectorisation Avoidance
– Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon Peyton Jones
|
|
|
In submission. Please do not redistribute. Haskell Beats C Using Generalized Stream Fusion Geoffrey Mainland
– Cambridge England, Roman Leshchinskiy, Simon Peyton Jones, Simon Marlow
|
|
1
|
Removing Value Encoding using Alternative Values in Partial Evaluation of Strongly-Typed Languages
– Denis Bechet
- 1994
|
|
8
|
Evolution of partial evaluators: removing inherited limits
– Torben Mogensen
- 1996
|
|
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
|
Inherited limits
– Torben Æ. Mogensen
- 1999
|
|
29
|
Stream Fusion. From Lists to Streams to Nothing at All
– Duncan Coutts, Roman Leshchinskiy, Don Stewart
- 2007
|
|
4
|
A.: Feldspar: A Domain Specific Language for Digital Signal Processing algorithms
– Emil Axelsson, Koen Claessen, Gergely Dévai, Zoltán Horváth, Karin Keijzer, Anders Persson, Mary Sheeran, Josef Svenningsson, András Vajda, Abstract—a New Language, Is Presented
- 2010
|
|
|
General Terms
– Gabriele Keller, Simon Peyton Jones
|
|
|
generators; F.4.2 [Mathematical Logic and Formal Languages]:
– Johan Jeuring, Andres Löh, Bram Schuur
- 2012
|
|
|
Preliminary Proceedings of the ACM SIGPLAN Haskell Workshop (HW'2001)
– Haskell Workshop, Ralf Hinze (editor)
- 2001
|
|
6
|
Constructed Product Result Analysis for Haskell
– Clem Baker-Finch , Kevin Glynn, Simon Peyton Jones
|
|
46
|
Playing by the rules: rewriting as a practical optimisation technique in GHC
– Simon Peyton Jones, Andrew Tolmach, Tony Hoare
|
