Ruler: Programming Type Rules

DOI10.1007/11737414_4MaRDI QIDQ3434622zbMATH OpenOpenAlexFDO

Authors Atze Dijkstra, S. Doaitse Swierstra

Publication date 2 May 2007

Published in Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL https://dspace.library.uu.nl/handle/1874/24175

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• TinkerType: a language for playing with formal systems
• Rule systems for run-time monitoring: from EAGLE to RULER
• Recent Advances in Constraints
• scientific article; zbMATH DE number 2217742
• Implementing type systems for the IDE with Xsemantics

Cited in

(3)

• TinkerType: a language for playing with formal systems
• Implementing type systems for the IDE with Xsemantics
• Ruler

Describes a project that uses

Uses Software

• LaTeX
• Hugs
• Twelf
• GHC
• Haskell
• Stratego

This page was built for publication: Ruler: Programming Type Rules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3434622)