Monad Translating Inductive and Coinductive Types (2003)

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