Relationally-parametric polymorphic contracts (2007)

by Arjun Guha, Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi
Venue:Pages 29–40 of: Dynamic Languages Symposium (DLS