Reasoning about Codata
Ralf Hinze
Details
| Affiliation |
University of Oxford‚ Computing Laboratory‚ Wolfson Building‚ Parks Road‚ Oxford OX1 3QD‚ England |
| Book Title |
Third Central European Functional Programming School (CEFP 2009) |
| Editor |
Horváth‚ Zoltán and Plasmeijer‚ Rinus and Zsόk‚ Viktόria |
| Location |
Komarno‚ Slovakia |
| Pages |
42–93 |
| Publisher |
Springer Berlin / Heidelberg |
| Series |
Lecture Notes in Computer Science |
| Volume |
6299 |
| Year |
2010 |
Links
DOI (10.1007/978-3-642-17685-2_3)
Related pages
|
People |