TY - GEN
T1 - Blame for all
AU - Ahmed, Amal
AU - Findler, Robert
AU - Matthews, Jacob
AU - Wadler, Philip
N1 - Funding Information:
Received 19 September 1995; accepted 4 December 1995. This research was sponsored by the Institute for Space and Nuclear Power Studies of the University of New Mexico. Address correspondence to Dr. Mohamed S. El-Genk, Department of Chemical and Nuclear Engineering, Institute for Space and Nuclear Power Studies, University of New Mexico, 239 Farris Engineering Center, Albuquerque, NM 87131-1341, USA.
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 - http://www.scopus.com/inward/record.url?scp=70450240744&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=70450240744&partnerID=8YFLogxK
U2 - 10.1145/1570506.1570507
DO - 10.1145/1570506.1570507
M3 - Conference contribution
AN - SCOPUS:70450240744
SN - 9781605585437
T3 - Proceedings for the 1st Workshop on Script to Program Evolution, STOP'09 in Conjunction with European Conference on Object-Oriented Programming, ECOOP'09
SP - 1
EP - 13
BT - Proceedings for the 1st Workshop on Script to Program Evolution, STOP'09 in Conjunction with European Conference on Object-Oriented Programming, ECOOP'09
T2 - 1st Workshop on Script to Program Evolution, STOP'09 in Conjunction with European Conference on Object-Oriented Programming, ECOOP'09
Y2 - 6 July 2009 through 6 July 2009
ER -