Ruler: Programming Type Rules

DOI10.1007/11737414_4zbMath1185.68191OpenAlexW2145809484MaRDI QIDQ3434622

S. Doaitse Swierstra, Atze Dijkstra

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)

Related Items (2)

Implementing type systems for the IDE with Xsemantics ⋮ Ruler

Uses Software

• Unnamed Item
• Haskell
• GHC
• Twelf
• Hugs
• LaTeX

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