RelationallyParametric Polymorphic Contracts (2007)

by A Guha, J Matthews, R B Findler, S Krishnamurthi
Venue:In Proc. Dynamic Languages Symposium