Scans and Convolutions—A Calculational Proof of Moessner's Theorem
Ralf Hinze
Affiliation
University of Oxford‚ Computing Laboratory‚ Wolfson Building‚ Parks Road‚ Oxford OX1 3QD‚ England
Book Title
Post−proceedings of the 20th International Symposium on the Implementation and Application of Functional Languages (IFL '08)
Editor
Scholz‚ Sven−Bodo
Location
University of Hertfordshire‚ UK
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
5836
Year
2009