Typed Contracts for Functional Programming

R. Hinze, J.T. Jeuring, A. Löh

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS 2006
Editors	P. Wadler, M. Hagiya
Publisher	Springer
Pages	208-225
Number of pages	18
Publication status	Published - 2006

jj14

Access to Document

@inproceedings{2e4a14ed49ab4fda9a863cfda39df285,

title = "Typed Contracts for Functional Programming",

author = "R. Hinze and J.T. Jeuring and A. L{\"o}h",

note = "jj14",

year = "2006",

language = "Undefined/Unknown",

pages = "208--225",

editor = "P. Wadler and M. Hagiya",

booktitle = "Proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS 2006",

publisher = "Springer",

}