@dblp

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

, , and . ECOOP, volume 3086 of Lecture Notes in Computer Science, page 364-388. Springer, (2004)

Links and resources

Tags