| ชื่อเรื่อง | : | A Per Model of Polymorphism and Recursive Types |
| นักวิจัย | : | Abadi, Martin , Plotkin, Gordon |
| คำค้น | : | Laboratory for Foundations of Computer Science |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2546 |
| อ้างอิง | : | http://hdl.handle.net/1842/199 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | A model of Reynolds’ polymorphic lambda calculus is provided, which also allows the recursive definition of elements and types. The technique is to use a good class of partial equivalence relations over a certain cpo. This allows the combination of inverse-limits for recursion and intersection for polymorphism. |
| บรรณานุกรม | : |
Abadi, Martin , Plotkin, Gordon . (2546). A Per Model of Polymorphism and Recursive Types.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Abadi, Martin , Plotkin, Gordon . 2546. "A Per Model of Polymorphism and Recursive Types".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Abadi, Martin , Plotkin, Gordon . "A Per Model of Polymorphism and Recursive Types."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2546. Print. Abadi, Martin , Plotkin, Gordon . A Per Model of Polymorphism and Recursive Types. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2546.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
