Login / Signup

Effective Models of Polymorphism, Subtyping and Recursion (Extended Abstract).

John C. MitchellRamesh Viswanathan
Published in: ICALP (1996)
Keyphrases