Skip to main content

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