| ชื่อเรื่อง | : | Well-Typed Programs Can’t Be Blamed |
| นักวิจัย | : | Wadler, Philip , Findler, Robert Bruce |
| คำค้น | : | Informatics , Computer Science |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | Castagna, Giuseppe |
| ปีพิมพ์ | : | 2552 |
| อ้างอิง | : | 03029743 , http://www.springerlink.com/content/u02272408371p672/ , http://hdl.handle.net/1842/3685 , 10.1007/978-3-642-00590-9_1 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | We introduce the blame calculus, which adds the notion of blame from Findler and Felleisen’s contracts to a system similar to Siek and Taha’s gradual types and Flanagan’s hybrid types. We characterise where positive and negative blame can arise by decomposing the usual notion of subtype into positive and negative subtypes, and show that these recombine to yield naive subtypes. Naive subtypes previously appeared in type systems that are unsound, but we believe this is the first time naive subtypes play a role in establishing type soundness. |
| บรรณานุกรม | : |
Wadler, Philip , Findler, Robert Bruce . (2552). Well-Typed Programs Can’t Be Blamed.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Wadler, Philip , Findler, Robert Bruce . 2552. "Well-Typed Programs Can’t Be Blamed".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Wadler, Philip , Findler, Robert Bruce . "Well-Typed Programs Can’t Be Blamed."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2552. Print. Wadler, Philip , Findler, Robert Bruce . Well-Typed Programs Can’t Be Blamed. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2552.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
