Plug-and-playAttributeGrammars
Stc
Date: 2005-03-03
Time: 11:45
Room: CGN room C004
Speaker: Wouter Swierstra
Title: Plug-and-play attribute grammars
Abstract
Attribute grammars specify syntax directed computation in a declarative
fashion, strongly reminiscent of functional programming. Despite the
apparent relation, it is suprisingly difficult to unite the two under a
single flag. I will present a type system based on the theory of
qualified types to define attribute grammars and perform the
computations they determine. It builds upon previous work by Gaster and
Jones on extendible records, but has its own distinct flavour. The
lion's share of the work has also been implemented in a branch of the
Essential Haskell Compiler.
