Typed Contracts for Functional Programming
Hinze, Ralf, Jeuring, Johan and Löh, Andres infobook title | Proceedings of the Eighth International Symposium on Functional and Logic Programming (FLOPS 2006), 24-26 April 2006, Fuji Susono, Japan |
editor | Wadler, Philip and Hagiya, Masami |
month | apr |
pages | 208-225 |
publisher | Springer |
series | LNCS |
volume | 3945 |
year | 2006 |
links
BibTeX
related pages
|
