Ruler: Programming Type Rules

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/11737414_4 ◽

2006 ◽

pp. 30-46 ◽

Author(s):

Atze Dijkstra ◽

S. Doaitse Swierstra

Download Full-text