-
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.