Summary: Blame for all
Amal Ahmed1
and Robert Bruce Findler2
and Jacob Matthews3
and Philip Wadler4
1
Toyota Technological Institute at Chicago
2
Northwestern University
3
Google
4
University of Edinburgh
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 seal-
ing 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

Source: Ahmed, Amal - School of Informatics, Indiana University
Findler, Robert Bruce "Robby" - Department of Electrical and Computer Engineering, Northwestern University

Collections: Computer Technologies and Information Sciences