Ruler Programming Type Rules
Date: 2005-10-06 Time: 11:45 Room: BBL room 471 ----+++ Speaker: [[Main.AtzeDijkstra][Atze Dijkstra]] ----+++ Title: Ruler: programming type rules ----+++ Abstract Some type systems are first described formally, to be sometimes followed by an implementation. Other type systems are first implemented as a language extension, to be sometimes retrofitted into a formal description. In neither case it is an easy task to keep both artefacts consistent. In this talk we present Ruler, a domain specific language for type rules. Our prototype compiler for Ruler both generates (1) a visual <nop>LaTeX rendering, suitable for use in the presentation of formal aspects, and (2) an attribute grammar based implementation. Uniting these two aspects in Ruler contributes to bridging the gap between theory and practice: mutually consistent representations can be generated for use in both theoretical and practical settings.