Arjun Guha, Jacob Matthews, Robby Findler, Shriram Krishnamurthi. Relationally-parametric polymorphic contracts. In Pascal Costanza, Robert Hirschfeld, editors, Proceedings of the 2007 Symposium on Dynamic Languages, DLS 2007, October 22, 2007, Montreal, Quebec, Canada. pages 29-40, ACM, 2007. [doi]
Abstract is missing.