Permalink
Switch branches/tags
Find file
Fetching contributors…
Cannot retrieve contributors at this time
8 lines (5 sloc) 254 Bytes
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.