License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.SNAPL.2015.309
URN: urn:nbn:de:0030-drops-50333
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2015/5033/
Go to the corresponding LIPIcs Volume Portal

Wadler, Philip

A Complement to Blame

pdf-format:
23.pdf (0.4 MB)

Abstract

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.

BibTeX - Entry

@InProceedings{wadler:LIPIcs:2015:5033,
  author =	{Philip Wadler},
  title =	{{A Complement to Blame}},
  booktitle =	{1st Summit on Advances in Programming Languages (SNAPL 2015)},
  pages =	{309--320},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-80-4},
  ISSN =	{1868-8969},
  year =	{2015},
  volume =	{32},
  editor =	{Thomas Ball and Rastislav Bodik and Shriram Krishnamurthi and Benjamin S. Lerner and Greg Morrisett},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2015/5033},
  URN =		{urn:nbn:de:0030-drops-50333},
  doi =		{10.4230/LIPIcs.SNAPL.2015.309},
  annote =	{Keywords: contracts, gradual typing, hybrid typing, blame calculus}
}

Keywords: contracts, gradual typing, hybrid typing, blame calculus
Collection: 1st Summit on Advances in Programming Languages (SNAPL 2015)
Issue Date: 2015
Date of publication: 30.04.2015

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI