A complement to blame

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

Contracts, gradual typing, and hybrid typing all permit less-precisely typed and more-precisely typed code to interact. Blame calculus encompasses these, and guarantees blame safety: blame for type errors always lays with less-precisely typed code. This paper serves as a complement to the literature on blame calculus: it elaborates on motivation, comments on the reception of the work, critiques some work for not properly attending to blame, and looks forward to applications. No knowledge of contracts, gradual typing, hybrid typing, or blame calculus is assumed.
Original languageEnglish
Title of host publication1st Summit on Advances in Programming Languages (SNAPL 2015)
EditorsThomas Ball, Rastislav Bodik, Shriram Krishnamurthi, BEnjamin S. Lerner, Greg Morrisett
PublisherSchloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany
Number of pages12
ISBN (Electronic)978-3-939897-80-4
Publication statusPublished - 2015

Publication series

NameLeibniz International Proceedings in Informatics (LIPIcs)
PublisherSchloss Dagstuhl--Leibniz-Zentrum fuer Informatik
ISSN (Print)1868-8969


Dive into the research topics of 'A complement to blame'. Together they form a unique fingerprint.

Cite this