Monad Translating Inductive and Coinductive Types (2003)

Cached

Download Links

by Tarmo Uustalu
Venue:In Proc. Partial Evaluation and Semantics-Based Program Manipulation
Citations:5 - 0 self

Document Versions

CPS translating inductive and coinductive types –Tarmo Uustalu — 2002 — In Proc. Partial Evaluation and Semantics-Based Program Manipulation
Monad Translating Inductive and Coinductive Types –Tarmo Uustalu — 2003 — In Proc. Partial Evaluation and Semantics-Based Program Manipulation