Diagnostic messages generated by compilers and interpreters such as syntax error
messages have been researched for over half of a century. Unfortunately, these messages …

Localizing type errors is challenging in languages with global type inference, as the type
checker must make assumptions about what the programmer intended to do. We introduce …

The design space for type systems that support impredicative instantiation is extremely
complicated. One needs to strike a balance between expressiveness, simplicity for both the …

Static type errors are a common stumbling block for newcomers to typed functional
languages. We present a dynamic approach to explaining type errors by generating …

The seminal work on the Dependency Core Calculus (DCC) shows how monads not only
can be used for embedding effects in purely functional languages but also to statically track …

Type systems and syntactic sugar are both valuable to programmers, but sometimes at odds.
While sugar is a valuable mechanism for implementing realistic languages, the expansion …

Abstract Domain-specific languages (DSLs) permeate current programming practices. An
important kind of DSLs includes those developed and integrated within a host language …

Embedded domain specific languages (DSLs) are a common pattern in the functional
programming world, providing very high-level abstractions to programmer. Unfortunately …

Solved and open problems in type error diagnosis? Page 1 Heriot-Watt University Research
Gateway Solved and open problems in type error diagnosis? Citation for published version …

Music description and generation are popular use cases for Haskell, ranging from live
coding libraries to automatic harmonisation systems. Some approaches use probabilistic …