Subtyping recursive types (1993)

by Roberto M. Amadio , Luca Cardelli
Venue:ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
Citations:314 - 8 self