Scans and Convolutions—A Calculational Proof of Moessner's Theorem
Ralf Hinze
Details
| 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 |
Links
Related pages
|
People |