S.: Relationally-parametric polymorphic contracts (2007)

by A Guha, J Matthews, R B Findler, Krishnamurthi
Venue:In: DLS