Skip to main content

Reasoning about Codata

Ralf Hinze

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