| ชื่อเรื่อง | : | FAITHFUL IDEAL MODELS FOR RECURSIVE POLYMORPHIC TYPES |
| นักวิจัย | : | Abadi, Martin , Pierce, Benjamin , Plotkin, Gordon |
| คำค้น | : | Polymorphism , recursive types , full abstraction , ideals , metric models , Laboratory for Foundations of Computer Science |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2546 |
| อ้างอิง | : | http://hdl.handle.net/1842/181 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | We explore ideal models for a programming language with recursive polymorphic types, variants of the model studied by MacQueen, Plotkin, and Sethi. The use of suitable ideals yields a close fit between models and programming language. Two of our semantics of type expressions are faithful, in the sense that programs that behave identically in all contexts have exactly the same types. |
| บรรณานุกรม | : |
Abadi, Martin , Pierce, Benjamin , Plotkin, Gordon . (2546). FAITHFUL IDEAL MODELS FOR RECURSIVE POLYMORPHIC TYPES.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Abadi, Martin , Pierce, Benjamin , Plotkin, Gordon . 2546. "FAITHFUL IDEAL MODELS FOR RECURSIVE POLYMORPHIC TYPES".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Abadi, Martin , Pierce, Benjamin , Plotkin, Gordon . "FAITHFUL IDEAL MODELS FOR RECURSIVE POLYMORPHIC TYPES."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2546. Print. Abadi, Martin , Pierce, Benjamin , Plotkin, Gordon . FAITHFUL IDEAL MODELS FOR RECURSIVE POLYMORPHIC TYPES. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2546.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
