Robby Findler, Matthew Flatt, Matthias Felleisen. Semantic Casts: Contracts and Structural Subtyping in a Nominal World. In Martin Odersky, editor, ECOOP 2004 - Object-Oriented Programming, 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings. Volume 3086 of Lecture Notes in Computer Science, pages 364-388, Springer, 2004. [doi]
Abstract is missing.