|
47
|
Let-Floating: Moving Bindings to Give Faster Programs
– Simon Peyton Jones, Will Partain, et al.
- 1997
|
|
5
|
Optimizing Eden by Transformation
– Cristóbal Pareja, Ricardo Peña, Fernando Rubio, O Rubio, Clara Segura
- 2000
|
|
2
|
Two Non-Determinism Analyses in Eden
– Ricardo Peña, Clara Segura
- 2000
|
|
1
|
An external representation for the ghc core language (draft for ghc5.02). http://haskell.cs.yale.edu/ghc/docs/papers
– Andrew Tolmach Apt
|
|
2
|
Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic choice: Operationale Semantik, Programmtransformationen und Anwendungen
– Arne Kutzner
- 2000
|
|
1
|
A Guide Through HasFuse. Institut für
– David Sabel
- 2003
|
|
2
|
Realisierung der Ein-/Ausgabe in einem Compiler für Haskell bei Verwendung einer nichtdeterministischen Semantik. Diplomarbeit, Institut für Informatik, J.W.Goethe-Universität Frankfurt
– David Sabel
- 2003
|
|
15
|
Measuring the Effectiveness of a Simple Strictness Analyser
– Simon Peyton Jones, Will Partain
- 1993
|
|
4
|
Analysing demand in nonstrict functional programming languages. Dissertation, J.W.Goethe-Universität Frankfurt, 2000. available at papers/marko
– Sch00 Marko Schütz
|
|
7
|
Compilation by Transformation in the Glasgow Haskell Compiler
– Simon Peyton Jones, André Santos, Jones Andr'e Santos
- 1994
|
|
9
|
Strictness analysis by abstract reduction using a tableau calculus
– M Schmidt-Schau, S E Panitz, M Schutz
- 1995
|
|
7
|
FUNDIO: A Lambda-Calculus with a letrec, case, Constructors, and an IO-Interface: Approaching a Theory of unsafePerformIO
– Manfred Schmidt-Schauß
- 2003
|
|
6
|
Constructed Product Result Analysis for Haskell
– Clem Baker-Finch , Kevin Glynn, Simon Peyton Jones
|
|
29
|
Compilation by Transformation in Non-Strict Functional Languages
– André L. de M. Santos
- 1995
|
|
33
|
Once Upon a Polymorphic Type
– Keith Wansbrough, Simon Peyton Jones
- 1998
|
|
76
|
A transformation-based optimiser for Haskell
– Simon L. Peyton Jones, André L.M. Santos
- 1998
|
|
53
|
Cheap Deforestation for Non-strict Functional Languages
– Andrew John Gill, Andrew John Gill
- 1996
|
|
33
|
Dictionary-free Overloading by Partial Evaluation
– Mark P. Jones
|
|
166
|
Parameter-Passing and the Lambda Calculus
– Erik Crank, Matthias Felleisen
- 1991
|
