We survey the literature available on the topic of domain-specific languages as used for the
construction and maintenance of software systems. We list a selection of 75 key publications …

Ownership types were devised nearly 15 years ago to provide a stronger notion of protection
to object-oriented programming languages. Rather than simply protecting the fields of an …

In this article, we introduce Applicative functors–an abstract characterisation of an
applicative style of effectful programming, weaker than Monads and hence more …

Software engineering demands generality and abstraction, performance demands
specialization and concretization. Generative programming can provide both, but the effort …

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 …

Develo** high-performance software is a difficult task that requires the use of low-level,
architecture-specific programming models (eg, OpenMP for CMPs, CUDA for GPUs, MPI for …

Pattern matching has proved an extremely powerful and durable notion in functional
programming. This paper contributes a new programming notation for type theory which …

Classical phantom types are datatypes in which type constraints are expressed using type
variables that do not appear in the datatype cases themselves. They can be used to embed …

The goal of domain-specific languages (DSLs) is to increase the productivity of software
engineers by abstracting from low-level boilerplate code. Introduction of DSLs in the …

Most object oriented applications that involve persistent data interact with a relational
database. The most common interaction mechanism is a call level interface (CLI) such as …