Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Blame for all Amal Ahmed1
 

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