http://www.weaselhat.com/2010/10/27/polymorphic-contracts/ Mon, 22 Oct 2012 17:28:02 +0000 hourly 1 https://wordpress.org/?v=6.3.2 http://www.weaselhat.com/2010/10/27/polymorphic-contracts/comment-page-1/#comment-1579 Mon, 22 Oct 2012 17:28:02 +0000 http://www.weaselhat.com/?p=226#comment-1579 At the risk of sounding inane; Wooo :) I love contracts; They have the same joy as never forgetting your keys because you can’t lock your door without them. Its an amusing coincidence that people consistently use a stack abstract datatype to introduce postconditions. I’ll post again once I’ve finished the paper.

]]>