Structural Subtyping and the Notion of Power Type (1988)

by Luca Cardelli
Venue:IN PROCEEDINGS OF THE 15TH ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
Citations:58 - 1 self