- Fast and Loose Reasoning is Morally Correct [pdf] http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/fast+loose.pdf 4 comments programming
- `seq` breaks your monad? "Fast and Loose Reasoning is Morally Correct", POPL'06 http://www.cse.chalmers.se/~nad/publications/danielsson-et-al-popl2006.html 19 comments haskell