Faithful Ideal Models for Recursive Polymorphic Types (1991)

by Martín Abadi , Benjamin Pierce , Gordon Plotkin
Venue:International Journal of Foundations of Computer Science
Citations:16 - 0 self