Apr 6, 2014
Philip Wadler: Blame Concisely
An introduction to the blame calculus and summary of contributions, covering the following.
Well-typed programs can’t be blamed, Wadler and Findler, ESOP 2009.
Threesomes, with and without blame, Siek and Wadler, POPL 2010.
Blame for all, Ahmed, Findler, Siek, and Wadler, POPL 2011.
Blame, threesomes, and coercions, precisely, Siek, Thiemann, and Wadler, submitted.
Symmetric blame, Wadler, in preparation.