Blame for all

Amal Ahmed; Robert Bruce Findler; Jacob Matthews; Philip Wadler

doi:10.1145/1570506.1570507

Blame for all

Amal Ahmed, Robert Bruce Findler, Jacob Matthews, Philip Wadler

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

Abstract

We present a language that integrates statically and dynamically typed components, similar to the gradual types of Siek and Taha (2006), and extend it to incorporate parametric polymorphism. Our system permits a dynamically typed value to be cast to a polymorphic type, with the type enforced by dynamic sealing along the lines proposed by Pierce and Sumii (2000), Matthews and Ahmed(2008), and Neis, Dreyer, and Rossberg (2009), in a way that ensures all terms satisfy relational parametricity. Our system includes a notion of blame, which allows us to show that when more-typed and less-typed portions of a program interact, that any type failures are due to the less-typed portion.

Original language	English
Title of host publication	Workshop on Script to Program Evolution (STOP)
Pages	1-13
Number of pages	13
DOIs	https://doi.org/10.1145/1570506.1570507
Publication status	Published - 2009

Access to Document

10.1145/1570506.1570507

Cite this

@inproceedings{e4990143fcfa4d4caedc2bcb9f83da82,

title = "Blame for all",

abstract = "We present a language that integrates statically and dynamically typed components, similar to the gradual types of Siek and Taha (2006), and extend it to incorporate parametric polymorphism. Our system permits a dynamically typed value to be cast to a polymorphic type, with the type enforced by dynamic sealing along the lines proposed by Pierce and Sumii (2000), Matthews and Ahmed(2008), and Neis, Dreyer, and Rossberg (2009), in a way that ensures all terms satisfy relational parametricity. Our system includes a notion of blame, which allows us to show that when more-typed and less-typed portions of a program interact, that any type failures are due to the less-typed portion.",

author = "Amal Ahmed and Findler, \{Robert Bruce\} and Jacob Matthews and Philip Wadler",

year = "2009",

doi = "10.1145/1570506.1570507",

language = "English",

isbn = "978-1-60558-543-7",

pages = "1--13",

booktitle = "Workshop on Script to Program Evolution (STOP)",

}

TY - GEN

T1 - Blame for all

AU - Ahmed, Amal

AU - Findler, Robert Bruce

AU - Matthews, Jacob

AU - Wadler, Philip

PY - 2009

Y1 - 2009

N2 - We present a language that integrates statically and dynamically typed components, similar to the gradual types of Siek and Taha (2006), and extend it to incorporate parametric polymorphism. Our system permits a dynamically typed value to be cast to a polymorphic type, with the type enforced by dynamic sealing along the lines proposed by Pierce and Sumii (2000), Matthews and Ahmed(2008), and Neis, Dreyer, and Rossberg (2009), in a way that ensures all terms satisfy relational parametricity. Our system includes a notion of blame, which allows us to show that when more-typed and less-typed portions of a program interact, that any type failures are due to the less-typed portion.

AB - We present a language that integrates statically and dynamically typed components, similar to the gradual types of Siek and Taha (2006), and extend it to incorporate parametric polymorphism. Our system permits a dynamically typed value to be cast to a polymorphic type, with the type enforced by dynamic sealing along the lines proposed by Pierce and Sumii (2000), Matthews and Ahmed(2008), and Neis, Dreyer, and Rossberg (2009), in a way that ensures all terms satisfy relational parametricity. Our system includes a notion of blame, which allows us to show that when more-typed and less-typed portions of a program interact, that any type failures are due to the less-typed portion.

UR - https://www.scopus.com/pages/publications/70450240744

U2 - 10.1145/1570506.1570507

DO - 10.1145/1570506.1570507

M3 - Conference contribution

SN - 978-1-60558-543-7

SP - 1

EP - 13

BT - Workshop on Script to Program Evolution (STOP)

ER -

Blame for all

Abstract

Access to Document

Other files and links

Fingerprint

Cite this