Typed Contracts for Functional Programming
Ralf Hinze‚ Johan Jeuring and Andres Löh
Affiliation
Institut für Informatik III‚ Universität Bonn‚ Römerstraße 164‚ 53117 Bonn‚ Germany
Book Title
Proceedings of the Eighth International Symposium on Functional and Logic Programming (FLOPS 2006)
Editor
Hagiya‚ Masami and Wadler‚ Philip
Location
Fuji Susono‚ Japan
Month
apr
Pages
208−225
Publisher
Springer Berlin / Heidelberg
Series
Lecture Notes in Computer Science
Volume
3945
Year
2006