Searching for "Notions of Computation and Monads" – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
Notions of Computation and Monads
- …Notions of computation and monads Eugenio Moggi Abstract The -calculus is considered an useful…
- Cited by 559 (15 self) – Add To MetaCart
-
INDEX equality 11, 169
- …. Moggi. Notions of computation and monads. Information and Computation, 93 (1991), 55--92. [119] J. Moon…
- Add To MetaCart
-
Categorial Programming with Functorial Strength
- … on Logic in Computer Science, pages 14--23, 1989. [40] E. Moggi. Notions of computation and monads…
- Add To MetaCart
-
State in Functional Languages - An Annotated Bibliography
- …]. [59] Eugenio Moggi. Notions of computation and monads. Information and Computation, 93:55--92, 1991…
- Cited by 1 (0 self) – Add To MetaCart
-
Bibliography
- … of computation and monads. Information and Computation, 93:55--92, 1991. [Mos90] Peter D. Mosses. Denotational…
- Add To MetaCart
-
Equivalence in Functional Languages with Effects
- …, 28] introduces the notion of computational monad as a framework for axiomatizing features…
- Cited by 93 (13 self) – Add To MetaCart
-
Amr Sabry
- … (1988) introduced monads as a general notion of computation. The monadic meta-language ml was designed…
- Add To MetaCart
-
166 Bibliography
- …(2):125–143, December 1998. Reprint of [Lan65], introduced by [Thi98]. [Mog91] Eugenio Moggi. Notions of computation…
- Add To MetaCart
-
Bibliography for Practical Foundations of Mathematics
- … for Programming Languages. MIT Press, 1996. [Mog91] Eugenio Moggi. Notions of computation and monads. Information…
- Add To MetaCart
-
Reasoning about Functions with Effects
- …. These calculi are simplified and extended in (Felleisen and Hieb 1989). The notion of computational monad as a…
- Cited by 13 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
