| ชื่อเรื่อง | : | Subtyping and Parametricity |
| นักวิจัย | : | Plotkin, Gordon , Abadi, Martin , Cardelli, Luca |
| คำค้น | : | Laboratory for Foundations of Computer Science |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2546 |
| อ้างอิง | : | http://hdl.handle.net/1842/210 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | 10 |
| บทคัดย่อ/คำอธิบาย | : | In this paper we study the interaction of subtyping and parametricity. We describe a logic for a programming language with parametric polymorphism and subtyping. The logic supports the formal definition and use of relational parametricity. We give two models for it, and compare it with other formal systems for the same language. In particular, we examine the “Penn interpretation” of subtyping as implicit coercion. Without subtyping, parametricity yields, for example, an encoding of abstract types and of initial algebras, with the corresponding proof principles of simulation and induction. With subtyping, we obtain partially abstract types and certain initial order-sorted algebras, and may derive proof principles for them. |
| บรรณานุกรม | : |
Plotkin, Gordon , Abadi, Martin , Cardelli, Luca . (2546). Subtyping and Parametricity.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Plotkin, Gordon , Abadi, Martin , Cardelli, Luca . 2546. "Subtyping and Parametricity".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Plotkin, Gordon , Abadi, Martin , Cardelli, Luca . "Subtyping and Parametricity."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2546. Print. Plotkin, Gordon , Abadi, Martin , Cardelli, Luca . Subtyping and Parametricity. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2546.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
