Sciweavers

669 search results - page 21 / 134
» Haskell program coverage
Sort
View
DAGSTUHL
2003
13 years 10 months ago
DSL Implementation in MetaOCaml, Template Haskell, and C++
A wide range of domain-specific languages (DSLs) has been implemented successfully by embedding them in general purpose languages. This paper reviews embedding, and summarizes how...
Krzysztof Czarnecki, John T. O'Donnell, Jörg ...
LCPC
2005
Springer
14 years 2 months ago
Testing Speculative Work in a Lazy/Eager Parallel Functional Language
Eden is a parallel extension of the functional language Haskell. Eden inherits from Haskell its laziness, which allows it to avoid unnecessary computations. However, in order to en...
Alberto de la Encina, Ismael Rodríguez, Fer...
IFL
2007
Springer
146views Formal Methods» more  IFL 2007»
14 years 3 months ago
A Supercompiler for Core Haskell
Haskell is a functional language, with features such as higher order functions and lazy evaluation, which allow succinct programs. These high-level features present many challenges...
Neil Mitchell, Colin Runciman
APLAS
2008
ACM
13 years 10 months ago
ML Modules and Haskell Type Classes: A Constructive Comparison
Researchers repeatedly observed that the module system of ML and the type class mechanism of Haskell are related. So far, this relationship has received little formal investigation...
Stefan Wehr, Manuel M. T. Chakravarty
ICFP
2005
ACM
14 years 8 months ago
A principled approach to operating system construction in Haskell
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...
Thomas Hallgren, Mark P. Jones, Rebekah Leslie, An...