| ชื่อเรื่อง | : | Combining computational effects: commutativity and sum |
| นักวิจัย | : | Hyland, Martin , Plotkin, Gordon , Power, John |
| คำค้น | : | Laboratory for Foundations of Computer Science |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2546 |
| อ้างอิง | : | http://hdl.handle.net/1842/195 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | We begin to develop a unified account of modularity for computational effects. We use the notion of enriched Lawvere theory, together with its relationship with strong monads, to reformulate Moggi’s paradigm for modelling computational effects; we emphasise the importance here of the operations that induce computational effects. Effects qua theories are then combined by appropriate bifunctors (on the category of theories). We give a theory of the commutative combination of effects, which in particular yields Moggi’s side-effects monad transformer (an application is the combination of side-effects with nondeterminism). And we give a theory for the sum of computational effects, which in particular yields Moggi’s exceptions monad transformer (an application is the combination of exceptions with other effects). |
| บรรณานุกรม | : |
Hyland, Martin , Plotkin, Gordon , Power, John . (2546). Combining computational effects: commutativity and sum.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Hyland, Martin , Plotkin, Gordon , Power, John . 2546. "Combining computational effects: commutativity and sum".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Hyland, Martin , Plotkin, Gordon , Power, John . "Combining computational effects: commutativity and sum."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2546. Print. Hyland, Martin , Plotkin, Gordon , Power, John . Combining computational effects: commutativity and sum. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2546.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
