![](https://www.pdfsearch.io/img/2de75879706bfefd5d59c37741728e83.jpg) Date: 2014-02-13 21:42:06
| | Blame for All: a Bug In the POPL 2011 paper Blame for All, the proof of the Jack-of-All-Trades Principle is wrong. One concrete problem is that lemma 25 is false. Specifically, ΛY.λx : I.5 < ∼ λx : ∗.5.Add to Reading ListSource URL: plt.eecs.northwestern.eduDownload Document from Source Website File Size: 307,43 KBShare Document on Facebook
|