| ชื่อเรื่อง | : | A Semantics for Static Type Inference , A-SEMANTICS FOR TYPE CHECKING |
| นักวิจัย | : | Plotkin, Gordon |
| คำค้น | : | Laboratory for Foundations of Computer Science |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2534 |
| อ้างอิง | : | LECTURE NOTES IN COMPUTER SCIENCE 526: 1-17 1991 , http://hdl.handle.net/1842/208 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | 41 |
| บทคัดย่อ/คำอธิบาย | : | Curry’s system for F-deducibility is the basis for static type inference algorithms for programming languages such as ML. If a natural “preservation of types by conversion” rule is added to Curry’s system, it becomes undecidable, but complete relative to a variety of model classes. We show completeness for Curry’s system itself, relative to an extended notion of model that validates reduction but not conversion. Two proofs are given: one uses a term model and the other a model built from type expressions. Extensions to systems with polymorphic or intersection types are also considered. |
| บรรณานุกรม | : |
Plotkin, Gordon . (2534). A Semantics for Static Type Inference.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Plotkin, Gordon . 2534. "A Semantics for Static Type Inference".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Plotkin, Gordon . "A Semantics for Static Type Inference."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2534. Print. Plotkin, Gordon . A Semantics for Static Type Inference. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2534.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
