Contracts for First-Class Classes

T. Stephen Strickland, Christos Dimoulas, Asumu Takikawa, Matthias Felleisen. Contracts for First-Class Classes. ACM Transactions on Programming Languages and Systems, 35(3):11, 2013. [doi]

Abstract

Abstract is missing.