Philip Wadler, Robert Bruce Findler
Well-Typed Programs Can’t Be Blamed
ESOP, 2009.
@inproceedings{ESOP-2009-WadlerF, author = "Philip Wadler and Robert Bruce Findler", booktitle = "{Proceedings of the 18th European Symposium on Programming}", doi = "10.1007/978-3-642-00590-9_1", editor = "Giuseppe Castagna", isbn = "978-3-642-00589-3", pages = "1--16", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Well-Typed Programs Can’t Be Blamed}", volume = 5502, year = 2009, }