Comments on: Contracts Made Manifest http://www.weaselhat.com/2009/07/30/contracts-made-manifest/ Fri, 22 Jan 2010 15:40:57 +0000 hourly 1 https://wordpress.org/?v=6.3.2 By: Michael Greenberg http://www.weaselhat.com/2009/07/30/contracts-made-manifest/comment-page-1/#comment-441 Sat, 01 Aug 2009 02:15:30 +0000 http://www.weaselhat.com/?p=117#comment-441 In reply to A..

Sorry about that — the correct link is up now.

]]> By: A. http://www.weaselhat.com/2009/07/30/contracts-made-manifest/comment-page-1/#comment-440 Fri, 31 Jul 2009 19:45:16 +0000 http://www.weaselhat.com/?p=117#comment-440 Nevermind, the correct URL is http://www.cis.upenn.edu/~mgree/papers/popl2010sub_contracts.pdf (found it on your academic homepage).

]]> By: A. http://www.weaselhat.com/2009/07/30/contracts-made-manifest/comment-page-1/#comment-439 Fri, 31 Jul 2009 17:49:25 +0000 http://www.weaselhat.com/?p=117#comment-439 Well, the paper’s url leads to a 404. Could you please fix it? I am eager to read it.

]]> By: Philip Wadler http://www.weaselhat.com/2009/07/30/contracts-made-manifest/comment-page-1/#comment-438 Fri, 31 Jul 2009 16:32:39 +0000 http://www.weaselhat.com/?p=117#comment-438 The paper link appears broken.

]]>