Ruler: Programming Type Rules
Publication date
2005
Authors
Dijkstra, Atze
Swierstra, Doaitse
Editors
Advisors
Supervisors
DOI
Document Type
Report
Metadata
Show full item recordCollections
License
Abstract
Keywords
Wiskunde en Informatica (WIIN), Scientific
Citation
Dijkstra, A & Swierstra, S D 2005, Ruler: Programming Type Rules. vol. 2005-033, CS-UU edn, UU WINFI Informatica en Informatiekunde, onbekend.