WebHome
- UHC
- EHC
- Documentation
- Features & Status
- EH examples
- Feedback
- News
- FAQ

Related
- Ruler
- Shuffle
- uulib & uuagc

Old Stuff
- Previous WebHome
- AFP2004

Center
Master Program

Ruler Programming Type Rules

Ehc

---++ Ruler: Programming Type Rules

   * Atze Dijkstra, S. Doaitse Swierstra, 2006
   * in [[http://dx.doi.org/10.1007/11737414_4][LNCS FLOPS 2006 proceedings]] of [[http://nicosia.is.s.u-tokyo.ac.jp/FLOPS2006/][FLOPS 2006]]
   * _Abstract_:     Some type systems are first described formally, to be sometimes followed
    by an implementation. Other type systems are first implemented as
    language extensions, to be sometimes retrofitted with a formal
    description. In neither case it is an easy task to keep both artefacts
    consistent. In this paper we introduce Ruler, a domain specific language
    for describing type rules. Type rules can be incrementally described,
    thus providing a means for building complex type systems on top of
    simpler ones. Besides checking well-formedness of Ruler programs we use
    them to generate (1) a visual LATEX rendering, suitable for use in the
    presentation of formal aspects, and (2) an attribute grammar based
    implementation. Combining 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.


-- Main.AtzeDijkstra - 21 Sep 2007

Topic attachments
I	Attachment	Action	Size	Date	Who	Comment
pdf	20060120-1521-flops06-ruler.pdf	manage	139.8 K	21 Sep 2007 - 09:33	AtzeDijkstra