Inductive, Coinductive, and Pointed Types (1996)

Cached

Download Links

by Brian Howard
Venue:In Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming
Citations:16 - 0 self