Permalink
Browse files

README

  • Loading branch information...
1 parent eda5cb6 commit 0bc7ec6abe09d54dfa519a929417778836eb4e7e Arjun Guha committed Sep 16, 2010
Showing with 7 additions and 0 deletions.
  1. +7 −0 README
View
7 README
@@ -0,0 +1,7 @@
+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.

0 comments on commit 0bc7ec6

Please sign in to comment.