| ชื่อเรื่อง | : | A Logic for Parametric Polymorphism |
| นักวิจัย | : | Plotkin, Gordon , Abadi, Martin |
| คำค้น | : | Laboratory for Foundations of Computer Science |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2546 |
| อ้างอิง | : | http://hdl.handle.net/1842/205 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | In this paper we introduce a logic for parametric polymorphism. Just as LCF is a logic for the simply-typed -calculus with recursion and arithmetic, our logic is a logic for System F. The logic permits the formal presentation and use of relational parametricity. Parametricity yields—for example—encodings of initial algebras, final co-algebras and abstract datatypes, with corresponding proof principles of induction, co-induction and simulation. |
| บรรณานุกรม | : |
Plotkin, Gordon , Abadi, Martin . (2546). A Logic for Parametric Polymorphism.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Plotkin, Gordon , Abadi, Martin . 2546. "A Logic for Parametric Polymorphism".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Plotkin, Gordon , Abadi, Martin . "A Logic for Parametric Polymorphism."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2546. Print. Plotkin, Gordon , Abadi, Martin . A Logic for Parametric Polymorphism. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2546.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
