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

View PDF

Download Links

by Andreas Abel , Ralph Matthes , Tarmo Uustalu
Citations:19 - 7 self