| ชื่อเรื่อง | : | Computational effects and operations: an overview |
| นักวิจัย | : | Plotkin, Gordon , Power, John |
| คำค้น | : | Laboratory for Foundations of Computer Science |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2545 |
| อ้างอิง | : | http://hdl.handle.net/1842/198 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | We overview a programme to provide a unified semantics for computational effects based upon the notion of a countable enriched Lawvere theory. We define the notion of countable enriched Lawvere theory, show how the various leading examples of computational effects, except for continuations, give rise to them, and we compare the definition with that of a strong monad. We outline how one may use the notion to model three natural ways in which to combine computational effects: by their sum, by their commutative combination, and by distributivity. We also outline a unified account of operational semantics. We present results we have already shown, some partial results, and our plans for further development of the programme. |
| บรรณานุกรม | : |
Plotkin, Gordon , Power, John . (2545). Computational effects and operations: an overview.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Plotkin, Gordon , Power, John . 2545. "Computational effects and operations: an overview".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Plotkin, Gordon , Power, John . "Computational effects and operations: an overview."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2545. Print. Plotkin, Gordon , Power, John . Computational effects and operations: an overview. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2545.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
