Well-Typed Programs Can't Be Blamed

Philip Wadler; Robert Bruce Findler

doi:10.1007/978-3-642-00590-9_1

Well-Typed Programs Can't Be Blamed

Philip Wadler, Robert Bruce Findler

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract / Description of output

We introduce the blame calculus, which adds the notion of blame from Findler and Felleisen's contracts to a system similar to Siek and Taha's gradual types and Flanagan's hybrid types. We characterise where positive and negative blame can arise by decomposing the usual notion of subtype into positive and negative subtypes, and show that these recombine to yield naive subtypes. Naive subtypes previously appeared in type systems that are unsound, but we believe this is the first time naive subtypes play a role in establishing type soundness.

Original language	English
Title of host publication	Programming Languages and Systems
Subtitle of host publication	18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Editors	Giuseppe Castagna
Publisher	Springer
Pages	1-16
Number of pages	16
ISBN (Print)	978-3-642-00589-3
DOIs	https://doi.org/10.1007/978-3-642-00590-9_1
Publication status	Published - 2009

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin / Heidelberg
Volume	5502
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/978-3-642-00590-9_1

Wadler Findler 2009 Well-Typed Programs Can't Be BlamedAccepted author manuscript, 253 KB

http://www.springerlink.com/content/u02272408371p672/

Cite this

Wadler, P., & Findler, R. B. (2009). Well-Typed Programs Can't Be Blamed. In G. Castagna (Ed.), Programming Languages and Systems: 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings (pp. 1-16). (Lecture Notes in Computer Science; Vol. 5502). Springer. https://doi.org/10.1007/978-3-642-00590-9_1

Wadler, Philip ; Findler, Robert Bruce. / Well-Typed Programs Can't Be Blamed. Programming Languages and Systems: 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. editor / Giuseppe Castagna. Springer, 2009. pp. 1-16 (Lecture Notes in Computer Science).

@inproceedings{e1d46be7ce6748aaa32f532b22342515,

title = "Well-Typed Programs Can't Be Blamed",

abstract = "We introduce the blame calculus, which adds the notion of blame from Findler and Felleisen's contracts to a system similar to Siek and Taha's gradual types and Flanagan's hybrid types. We characterise where positive and negative blame can arise by decomposing the usual notion of subtype into positive and negative subtypes, and show that these recombine to yield naive subtypes. Naive subtypes previously appeared in type systems that are unsound, but we believe this is the first time naive subtypes play a role in establishing type soundness.",

author = "Philip Wadler and Findler, {Robert Bruce}",

year = "2009",

doi = "10.1007/978-3-642-00590-9_1",

language = "English",

isbn = "978-3-642-00589-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "1--16",

editor = "Giuseppe Castagna",

booktitle = "Programming Languages and Systems",

address = "United Kingdom",

}

Wadler, P & Findler, RB 2009, Well-Typed Programs Can't Be Blamed. in G Castagna (ed.), Programming Languages and Systems: 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Lecture Notes in Computer Science, vol. 5502, Springer, pp. 1-16. https://doi.org/10.1007/978-3-642-00590-9_1

Well-Typed Programs Can't Be Blamed. / Wadler, Philip; Findler, Robert Bruce.
Programming Languages and Systems: 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. ed. / Giuseppe Castagna. Springer, 2009. p. 1-16 (Lecture Notes in Computer Science; Vol. 5502).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Well-Typed Programs Can't Be Blamed

AU - Wadler, Philip

AU - Findler, Robert Bruce

PY - 2009

Y1 - 2009

N2 - We introduce the blame calculus, which adds the notion of blame from Findler and Felleisen's contracts to a system similar to Siek and Taha's gradual types and Flanagan's hybrid types. We characterise where positive and negative blame can arise by decomposing the usual notion of subtype into positive and negative subtypes, and show that these recombine to yield naive subtypes. Naive subtypes previously appeared in type systems that are unsound, but we believe this is the first time naive subtypes play a role in establishing type soundness.

AB - We introduce the blame calculus, which adds the notion of blame from Findler and Felleisen's contracts to a system similar to Siek and Taha's gradual types and Flanagan's hybrid types. We characterise where positive and negative blame can arise by decomposing the usual notion of subtype into positive and negative subtypes, and show that these recombine to yield naive subtypes. Naive subtypes previously appeared in type systems that are unsound, but we believe this is the first time naive subtypes play a role in establishing type soundness.

UR - http://www.scopus.com/inward/record.url?scp=67650189558&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-00590-9_1

DO - 10.1007/978-3-642-00590-9_1

M3 - Conference contribution

SN - 978-3-642-00589-3

T3 - Lecture Notes in Computer Science

SP - 1

EP - 16

BT - Programming Languages and Systems

A2 - Castagna, Giuseppe

PB - Springer

ER -

Wadler P, Findler RB. Well-Typed Programs Can't Be Blamed. In Castagna G, editor, Programming Languages and Systems: 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Springer. 2009. p. 1-16. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-00590-9_1

Well-Typed Programs Can't Be Blamed

Abstract / Description of output

Publication series

Access to Document

Other files and links

Fingerprint

Cite this