|
|
Final report on the GRASP project
– Simon L. Peyton Jones, Philip Wadler, Cordelia Hall, Kevin Hammond, Will Partain, Simon Peyton Jones, Phil Wadler
- 1993
|
|
52
|
Compiling Haskell by program transformation: a report from the trenches
– Simon L. Peyton Jones
- 1996
|
|
104
|
Lazy functional state threads
– John Launchbury, Simon L Peyton Jones
- 1994
|
|
20
|
Correctness of Monadic State: An Imperative Call-by-Need Calculus
– Zena M. Ariola, Amr Sabry
- 1998
|
|
173
|
A Short Cut to Deforestation
– Andrew Gill, John Launchbury, Simon L Peyton Jones
- 1993
|
|
6
|
Computing Science
– Ph Thesis, Patrick M. Sansom, Patrick M. Sansom
- 1994
|
|
|
Execution Profiling for . . .
– Patrick M. Sansom
- 1994
|
|
94
|
How to Declare an Imperative
– Philip Wadler
- 1995
|
|
27
|
A Functional Theory of Local Names
– Martin Odersky
- 1994
|
|
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
|
|
17
|
Deforestation for Higher-Order Functional Programs
– Simon David Marlow
- 1995
|
|
418
|
Comprehending Monads
– Philip Wadler
- 1992
|
|
24
|
Rank 2 Type Systems and Recursive Definitions
– Trevor Jim
- 1995
|
|
88
|
What Are Principal Typings and What Are They Good For?
– Trevor Jim
- 1995
|
|
|
Purity, Impurity and Efficiency in Graph Algorithms
– n.n.
|
|
3
|
Malloc Pointers and Stable Pointers: Improving Haskell's Foreign Language Interface
– Alastair Reid
- 1994
|
|
29
|
Implicit and Explicit Parallel Programming in Haskell
– Mark P. Jones, Paul Hudak
- 1993
|
|
7
|
A Systematic Study of Functional Language Implementations
– Rémi Douence, Pascal Fradet
- 1998
|
