• Philip Wadler, The Girard-Reynolds isomorphism (second edition). Theoretical Computer Science, 375(1-3): 201--226, 2007.
• Philip Wadler and Robert Bruce Findler, Well-typed programs can't be blamed. European Symposium on Programming (ESOP), pp. 1--16, 2009. (Springer Verlang LNCS 5502.)
• Jeremy G. Siek and Philip Wadler, Threesomes, with and without blame. ACM Symposium on Priciples of Programming Languages (POPL), pp. 365--376, 2010.
• Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, and Philip Wadler, Blame for all. ACM Symposium on Priciples of Programming Languages (POPL), pp. 201--214, 2011.