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

John C. Mitchell, Ramesh Viswanathan

Browse the full ICALP paper archive.