Quick Check is a tool which aids the Haskell programmer in formulating and testing
properties of programs. Properties are described as Haskell functions, and can be …

A history of Haskell Page 1 A History of Haskell: Being Lazy With Class Paul Hudak Yale
University paul.hudak@yale.edu John Hughes Chalmers University rjmh@cs.chalmers.se …

QuickCheck is a tool which aids the Haskell programmer in formulating and testing
properties of programs. Properties are discribed as Haskell functions, and can be …

Despite the long list of publications on parser combinators, there does not yet exist a
monadic parser combinator library that is applicable in real world situations. In particular …

Financial and insurance contracts do not sound like promising territory for functional
programming and formal semantics, but in fact we have discovered that insights from …

FreshML extends ML with elegant and practical constructs for declaring and manipulating
syntactical data involving statically scoped binding operations. User-declared FreshML …

We describe Nikola, a first-order language of array computations embedded in Haskell that
compiles to GPUs via CUDA using a new set of type-directed techniques to support re …

Functional languages are particularly well-suited to the interpretive implementations of
Domain-Specific Embedded Languages (DSELs). We describe an implemented technique …

When compiling embedded languages it is natural to use an abstract syntax tree to
represent programs. This is known as a deep embedding and it is a rather cumbersome …

Haskell is a great language for writing and supporting embedded Domain Specific
Languages (DSLs). Some form of observable sharing is often a critical capability for allowing …