| ชื่อเรื่อง | : | 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.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
