Iteration and Coiteration Schemes for Higher-Order and Nested Datatypes (2004)

Cached

Download Links

by Andreas Abel , Ralph Matthes , Tarmo Uustalu
Citations:12 - 2 self