ridm@nrct.go.th   ระบบคลังข้อมูลงานวิจัยไทย   รายการโปรดที่คุณเลือกไว้

Blame for all

หน่วยงาน Edinburgh Research Archive, United Kingdom

รายละเอียด

ชื่อเรื่อง : Blame for all
นักวิจัย : Ahmed, Amal , Findler, Robert Bruce , Matthews, Jacob , Wadler, Philip
คำค้น : -
หน่วยงาน : Edinburgh Research Archive, United Kingdom
ผู้ร่วมงาน : -
ปีพิมพ์ : 2552
อ้างอิง : http://hdl.handle.net/1842/3683
ที่มา : -
ความเชี่ยวชาญ : -
ความสัมพันธ์ : -
ขอบเขตของเนื้อหา : -
บทคัดย่อ/คำอธิบาย :

Conference paper presented at the Workshop on Script to Program Evolution (STOP)

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.

บรรณานุกรม :
Ahmed, Amal , Findler, Robert Bruce , Matthews, Jacob , Wadler, Philip . (2552). Blame for all.
    กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom .
Ahmed, Amal , Findler, Robert Bruce , Matthews, Jacob , Wadler, Philip . 2552. "Blame for all".
    กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom .
Ahmed, Amal , Findler, Robert Bruce , Matthews, Jacob , Wadler, Philip . "Blame for all."
    กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2552. Print.
Ahmed, Amal , Findler, Robert Bruce , Matthews, Jacob , Wadler, Philip . Blame for all. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2552.