Typed Contracts for Functional Programming
Publication date
2006
Authors
Hinze, R.
Jeuring, J.T.
Löh, A.
Editors
Advisors
Supervisors
DOI
Document Type
Report
Metadata
Show full item recordCollections
License
Abstract
Keywords
Scientific
Citation
Hinze, R, Jeuring, J T & Löh, A 2006, Typed Contracts for Functional Programming. vol. 2006-026, UU-CS edn, UU WINFI Informatica en Informatiekunde, onbekend.