28 search results - page 4 / 6 » On Program Transformation in the Glasgow Haskell Compiler |
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
We describe a monadic interface to low-level hardware features that is a suitable basis for building operating systems in Haskell. The interface includes primitives for controllin...
109
click to vote
PEPM
2010
ACM
15 years 10 months ago
2010
ACM
Datatype-generic programming increases program reliability by reducing code duplication and enhancing reusability and modularity. Several generic programming libraries for Haskell...
133
click to vote
FPCA
1993
15 years 5 months ago
1993
Five implementations of di erent lazy functional languages are compared using a common benchmark of a dozen medium size programs. The benchmarking procedure has been designed such...
107
click to vote
ICFP
2003
ACM
16 years 1 months ago
2003
ACM
Lazy programs are beautiful, but they are slow because they build many thunks. Simple measurements show that most of these thunks are unnecessary: they are in fact always evaluate...
101
click to vote
ENTCS
2007
15 years 1 months ago
2007
The use of typed intermediate languages can significantly increase the reliability of a compiler. By typechecking the code produced at each transformation stage, one can identify...