JavaScript Contracts ==================== This software succeeds the implementation described in the following paper: Arjun Guha, Jacob Matthews, Robert Bruce Findler, and Shriram Krishnamurthi. Relationally-Parametric Polymorphic Contracts. DLS 2007.