Semantic Casts: Contracts and Structural Subtyping in a Nominal World.

Robert Bruce Findler, Matthew Flatt, Matthias Felleisen

Browse the full ECOOP paper archive.