Search whole site: site:dl.acm.org
Search title: Set-theoretic foundation of parametric polymorphism and subtyping | Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
See how to search.