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