Blame for all (2011)

by Amal Ahmed, Robert Bruce Findler, Jeremy G Siek, Philip Wadler
Venue:In Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL ’11