Monad Translating Inductive and Coinductive Types (2003)
by
Tarmo Uustalu
| Venue: | In Proc. Partial Evaluation and Semantics-Based Program Manipulation |
| Citations: | 5 - 0 self |
BibTeX
@INPROCEEDINGS{Uustalu03monadtranslating,
author = {Tarmo Uustalu},
title = {Monad Translating Inductive and Coinductive Types},
booktitle = {In Proc. Partial Evaluation and Semantics-Based Program Manipulation},
year = {2003},
pages = {131--142},
publisher = {Springer}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We show that the call-by-name monad translation of simply typed lambda calculus extended with sum and product types extends to special and general inductive and coinductive types so that its crucial property of preserving typings and - and commuting reductions is maintained. Speci c similar-purpose translations such as CPS translations follow from the general monad translations by specialization for appropriate concrete monads.
