WebHome
-
UHC
-
EHC
-
Documentation
-
Features & Status
-
EH examples
-
Feedback
-
News
-
FAQ
Related
-
Ruler
-
Shuffle
-
uulib & uuagc
Old Stuff
-
Previous WebHome
-
AFP2004
Center
Master Program
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
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