Adjoint Folds and Unfolds‚ Or: Scything through the Thicket of Morphisms
Ralf Hinze
Details
| Affiliation |
University of Oxford‚ Computing Laboratory‚ Wolfson Building‚ Parks Road‚ Oxford OX1 3QD‚ England |
| Book Title |
10th International Conference on Mathematics of Program Construction (MPC '10) |
| Editor |
Bolduc‚ Claude and Desharnais‚ Jules and Ktari‚ Béchir |
| Location |
Manoir St−Castin‚ Québec‚ Canada |
| Pages |
195−228 |
| Publisher |
Springer Berlin / Heidelberg |
| Series |
Lecture Notes in Computer Science |
| Volume |
6120 |
| Year |
2010 |
Links
DOI (10.1007/978-3-642-13321-3_13)
Related pages
|
People |