Ruler

swMATH33691MaRDI QIDQ45400FDOQ45400

Author name not available (Why is that?)

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