Relationally-parametric polymorphic contracts.

Arjun Guha, Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi

Browse the full DLS paper archive.