| ชื่อเรื่อง | : | Adequacy for Algebraic Effects , Notions of computation determine monads |
| นักวิจัย | : | Plotkin, Gordon , Power, John |
| คำค้น | : | Laboratory for Foundations of Computer Science |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2545 |
| อ้างอิง | : | LECTURE NOTES IN COMPUTER SCIENCE 2303: 342-356 2002 , http://hdl.handle.net/1842/187 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | Moggi proposed a monadic account of computational effects. He also presented the computational lamda-calculus, c, a core call-by-value functional programming language for effects; the effects are obtained by adding appropriate operations. The question arises as to whether one can give a corresponding treatment of operational semantics. We do this in the case of algebraic e ects where the operations are given by a single-sorted algebraic signature, and their semantics is supported by the monad, in a certain sense. We consider call-by-value PCF with— and without—recursion, an extension of c with arithmetic. We prove general adequacy theorems, and illustrate these with two examples: non- determinism and probabilistic nondeterminism. |
| บรรณานุกรม | : |
Plotkin, Gordon , Power, John . (2545). Adequacy for Algebraic Effects.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Plotkin, Gordon , Power, John . 2545. "Adequacy for Algebraic Effects".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Plotkin, Gordon , Power, John . "Adequacy for Algebraic Effects."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2545. Print. Plotkin, Gordon , Power, John . Adequacy for Algebraic Effects. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2545.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
