Ruler Programming Type Rules
Stc
Date: 2005-10-06
Time: 11:45
Room: BBL room 471
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 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.
