Simplifying Subtyping Constraints (1996)

Cached

Download Links

by Francois Pottier
Venue:In Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming
Citations:67 - 1 self