Typed Contracts for Functional Programming
Publication date
2006
Authors
Hinze, R.
Jeuring, Johan
Löh, A.
Editors
Wadler, P.
Hagiya, M.
Advisors
Supervisors
DOI
Document Type
Part of book
Metadata
Show full item recordCollections
License
Abstract
Keywords
Citation
Hinze, R, Jeuring, J T & Löh, A 2006, Typed Contracts for Functional Programming. in P Wadler & M Hagiya (eds), Proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS 2006. Springer, pp. 208-225.