Moggi, E. (1991). Notions of computation and monads. Information and Computation, 93(1):55-- 92. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Under consideration for publication in Math. Struct. in .. - Judgmental.. Self-citation (Moggi) (Correct)
No context found.
Moggi, E. (1991). Notions of computation and monads. Information and Computation, 93(1):55-- 92.
Typed Memory Management via Static Capabilities - David Walker Carnegie (2000) (24 citations) (Correct)
No context found.
Moggi, E. 1991. Notions of computation and monads. Information and Computation 93, 55-92. Morrisett, G., Crary, K., Glew, N., Grossman, D., Samuels, R., Smith, F., Walker, D., Weirich, S., and Zdancewic, S. 2000. Typed Assembly Language for the Intel IA32 architecture. See http://www.cs.cornell.edu/talc for the latest implementation.
A Modal Analysis of Staged Computation - Rowan Davies And (1996) (124 citations) (Correct)
No context found.
Moggi, E. 1991. Notions of computation and monads. Information and Computation 93, 1, 55--92.
Under consideration for publication in J. Functional.. - Karl Crary Aleksey (Correct)
No context found.
Moggi, Eugenio. (1991). Notions of computation and monads. Information and computation, 93, 55--92.
JFP 15 (2): 249--291, 2005. c - Cambridge University Press (2005) (Correct)
No context found.
Moggi, E. (1991) Notions of computation and monads. Infor. & Computation, 93, 55--92.
Program Logic and Program Analysis - Honda, Yoshida, Berger (Correct)
No context found.
Eugenio Moggi. Notions of computation and monads. Inf. & Comp., 93(1):55--92, 1991.
Logic for Computational Effects: work in progress - Plotkin, Power (Correct)
No context found.
Moggi, E. (1991) Notions of computation and monads. Information and Computation, 93, 55-92.
Computational Effects and Operations: An Overview - Plotkin, Power (2002) (Correct)
No context found.
E. Moggi, Notions of computation and monads, Inf. and Comp. 93 (1991) 55--92.
Combining Effects: Sum and Tensor - Hyland, Plotkin, Power (Correct)
No context found.
E. Moggi, Notions of Computation and Monads, Inf. and Comp., Vol. 93, No. 1, pp. 55-92, 1991.
Adequacy for Algebraic Effects - Plotkin, Power (2001) (Correct)
No context found.
E. Moggi, Notions of Computation and Monads, Inf. and Comp., Vol. 93, No. 1, pp. 55--92, 1991.
Algebraic Operations and Generic Effects - Plotkin, Power (Correct)
No context found.
E. Moggi, Notions of computation and monads, in Inf. and Comp. Vol. 93, No. 1, pp. 55--92, 1991.
Semantics for Algebraic Operations - Plotkin, Power (2001) (Correct)
No context found.
Moggi, E., Notions of computation and monads, Inf. and Comp. 93 (1991) 55--92.
Notions of Computation Determine Monads - Plotkin, Power (2002) (6 citations) (Correct)
No context found.
E. Moggi, Notions of computation and monads, Inf. and Comp., Vol. 93, No. 1, pp. 55--92, 1991.
Combining Computational Effects: Commutativity and Sum - Hyland, Plotkin, Power (2002) (1 citation) (Correct)
No context found.
E. Moggi, Notions of computation and monads, Inf. and Comp., Vol. 93, No. 1, pp. 55--92, 1991.
Program Logic and Program Analysis - Honda, Yoshida, Berger (Correct)
No context found.
Eugenio Moggi. Notions of computation and monads. Inf. & Comp., 93(1):55--92, 1991.
Nominal Games and Full Abstraction for the Nu-Calculus - Abramsky, Ghica.. (Correct)
No context found.
E. Moggi. Notions of computation and monads. Info. & Comp., 93:55--92, 1989.
Combining Continuations with Other Effects - Hyland, Levy, Plotkin, Power (Correct)
No context found.
E. Moggi, Notions of Computation and Monads, I. & C., 93(1) 55-92, 1991.
A Monad for Basic Java Semantics - Jacobs, Poll (2000) (3 citations) (Correct)
No context found.
E. Moggi. Notions of computation and monads. Inf. & Comp., 93(1):55-92, 1991.
Non-Deterministic untyped λ-calculus - A study about.. - Liguoro (1991) (Correct)
No context found.
E. Moggi, "Notions of Computation and Monads", Inf. Comp. 93, 1991.
Must Preorder in Non-Deterministic Untyped λ-calculus - de'Liguoro, Piperno (1992) (Correct)
No context found.
E. Moggi, "Notions of Computation and Monads", Inf. Comp. 93, 1991.
Logic for Computational Effects: work in progress - Plotkin, Power (Correct)
No context found.
Moggi, E. (1991) Notions of computation and monads. Information and Computation, 93, 55-92.
Coalgebras and Monads in the Semantics of Java - Jacobs, Poll (2002) (Correct)
No context found.
E. Moggi. Notions of computation and monads. Inf. & Comp., 93(1):55--92, 1991.
Trace Semantics for Coalgebras - Jacobs (2003) (Correct)
No context found.
E. Moggi. Notions of computation and monads. Inf. & Comp., 93(1):55--92, 1991.
A Convex Powerdomain over Lattices: its Logic and.. - Alessi, al. (1997) (Correct)
No context found.
E. Moggi, "Notions of Computation and Monads", Info. and Comp. 93, 1991, 55-92.
Non Deterministic Extensions of Untyped λ-calculus - de'Liguoro, Piperno (1995) (Correct)
No context found.
E. Moggi, "Notions of Computation and Monads", Inf. Comp. 93, 1991.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC