Masami Hagiya;John C. Mitchell
-;-
Subtyping arithmetical types
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages