Ruler

MaRDI QIDQ45400swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F11737414_4

Described by source

• Ruler: Programming Type Rules

Cited in

(2)

• Implementing type systems for the IDE with Xsemantics
• Hugs

This page was built for software: Ruler