Typed Contracts for Functional Programming
Ralf Hinze‚ Johan Jeuring and Andres Löh
Details
| 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 |
Links
Related pages
|
People |
|
|
Activities |