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

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 …

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 …

Helium is a user-friendly compiler designed especially for learning the functional
programming language Haskell. The quality of the error messages has been the main …

We present instance arguments: an alternative to type classes and related features in the
dependently typed, purely functional programming language/proof assistant Agda. They are …

Overview. This chapter provides a gentle introduction to type systems, functional languages,
and type error messages. We give examples of reported type error messages to illustrate the …

In previous work, we introduced scope graphs as a formalism for describing program
binding structure and performing name resolution in an AST-independent way. In this paper …

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 …

Type error messages that are reported for incorrect functional programs can be difficult to
understand. The reason for this is that most type inference algorithms proceed in a …

There are numerous ways to implement a parser for a given syntax; using parser
combinators is a powerful approach to parsing which derives much of its power and …