2026-07-20T14:48:01Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:5033 2024-03-06T10:35:44Z ddc:004 open_access

A Complement to Blame Wadler, Philip contracts gradual typing hybrid typing blame calculus 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Philip Wadler 2015 Is Part Of LIPIcs, Volume 32, 1st Summit on Advances in Programming Languages (SNAPL 2015) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.SNAPL.2015.309 urn:nbn:de:0030-drops-50333 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.309 eng https://creativecommons.org/licenses/by/3.0/legalcode