Sciweavers

45 search results - page 4 / 9
» haskell 2007
Sort
View
ICFP
2007
ACM
14 years 5 months ago
Call-pattern specialisation for haskell programs
User-defined data types, pattern-matching, and recursion are ubiquitous features of Haskell programs. Sometimes a function is called with arguments that are statically known to be...
Simon L. Peyton Jones
HOPL
2007
13 years 9 months ago
A history of Haskell: being lazy with class
This paper describes the history of Haskell, including its genesis and principles, technical contributions, implementations and tools, and applications and impact.
Paul Hudak, John Hughes, Simon L. Peyton Jones, Ph...
DAGSTUHL
2003
13 years 6 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 ...
POPL
2007
ACM
14 years 5 months ago
Data parallel Haskell: a status report
We describe the design and current status of our effort to implement the programming model of nested data parallelism into the Glasgow Haskell Compiler. We extended the original p...
Manuel M. T. Chakravarty, Roman Leshchinskiy, Simo...
IFL
2007
Springer
146views Formal Methods» more  IFL 2007»
13 years 11 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