Program transformation is used in a wide range of applications including compiler
construction, optimization, program synthesis, refactoring, software renovation, and reverse …

For many academics,“stylish academic writing” is at best an oxymoron and at worst a risky
business. Why, they ask, should we accessorize our research with gratuitous stylistic …

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 …

Stratego/XT is a language and toolset for program transformation. The Stratego language
provides rewrite rules for expressing basic transformations, programmable rewriting …

Collusive practices continue to be a significant threat to competition and consumer welfare. It
should be of utmost importance for academic research to provide the theoretical and …

The rise of programmable open distributed consensus platforms based on the blockchain
technology has aroused a lot of interest in replicated stateful computations, aka smart …

Abstract Domain specific languages (DSLs) are increasingly used today. Coping with
complex language definitions, evolving them in a structured way, and ensuring their error …

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 …

Static type systems strive to be richly expressive while still being simple enough for
programmers to use. We describe an experiment that enriches Haskell's kind system with …

Haskell's popularity has driven the need for ever more expressive type system features, most
of which threaten the decidability and practicality of Damas-Milner type inference. One such …