E. Moggi. Notions of computation and monads. Information and Computation, 93:55--92, 1991. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
A Programming Language for Probabilistic Computation - Park (2005) Self-citation (Computation) (Correct)
No context found.
E. Moggi. Notions of computation and monads. Information and Computation, 93:55--92, 1991. 104
Appears in LISP and Symbolic Computation 9(1):77--107.. - Ian Stark University Self-citation (Computation) (Correct)
No context found.
E. Moggi. Notions of computation and monads. Information and Computation, 93(1):55--92, July 1991.
Probability, Nondeterminism and Concurrency: Two Denotational.. - Varacca (2003) Self-citation (Computation) (Correct)
No context found.
Eugenio Moggi. Notions of computation and monads. Information and Computation, 93(1):55--92, July 1991.
A Probabilistic Language based upon Sampling Functions - Sungwoo Park Frank (Correct)
No context found.
E. Moggi. Notions of computation and monads. Information and Computation, 93:55--92, 1991.
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (2 citations) (Correct)
No context found.
Eugenio Moggi. Notions of computation and monads. Information and Computation, 93(1):55-92, 1991.
A Monadic Analysis of Information Flow Security with Mutable.. - Karl Crary Aleksey (Correct)
No context found.
E. Moggi. Notions of computation and monads. Information and Computation, 93:55--92, 1991.
Specifying Properties of Concurrent Computations in CLF - Watkins, Cervesato.. (2004) (Correct)
No context found.
Moggi, E., Notions of computation and monads, Information and Computation 93 (1991), pp. 55--92.
A Monadic Analysis of Information Flow Security with Mutable.. - Karl Crary Aleksey (Correct)
No context found.
E. Moggi. Notions of computation and monads. Information and Computation, 93:55--92, 1991.
A Probabilistic Language based upon Sampling Functions - Sungwoo Park Frank (Correct)
No context found.
E. Moggi. Notions of computation and monads. Information and Computation, 93:55--92, 1991.
New Foundations for the Geometry of Interaction - Samson Abramsky Radha (1993) (27 citations) (Correct)
No context found.
E. Moggi. Notions of computation and monads. Information and Computation, 93(1):55--93, 1991.
Modal Logics with Existential Modality, Finite-iteration.. - Shkatov (2005) (Correct)
No context found.
E. Moggi. Notions of computation and monads. Information and Computation, 93(1):55--92, July 1991.
An Effective Theory of Type Refinements - Mandelbaum, Walker, Harper (2003) (9 citations) (Correct)
No context found.
E. Moggi. Notions of computation and monads. Information and Computation, 93:55--92, 1991.
Propositions as [Types] - Awodey, Bauer (2001) (1 citation) (Correct)
No context found.
E. Moggi. Notions of computation and monads. Information and Computation, 93(1), 1991.
Propositions as [Types] - Awodey, Bauer (2001) (1 citation) (Correct)
No context found.
E. Moggi. Notions of computation and monads. Information and Computation, 93(1), 1991.
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (2 citations) (Correct)
No context found.
Eugenio Moggi. Notions of computation and monads. Information and Computation, 93(1):55--92, 1991.
CLF: A Dependent Logical Framework for Concurrent.. - Watkins, Cervesato.. (2004) (1 citation) (Correct)
No context found.
Eugenio Moggi. Notions of computation and monads. Information and Computation, 93(1):55--92, 1991.
A Probabilistic Language based upon Sampling Functions - Sungwoo Park Frank (2004) (Correct)
No context found.
E. Moggi. Notions of computation and monads. Information and Computation, 93:55--92, 1991.
A Monadic Analysis of Information Flow Security with Mutable .. - Cmu-Cs- School Of (Correct)
No context found.
E. Moggi. Notions of computation and monads. Information and Computation, 93:55--92, 1991.
Monadic Concurrent Linear Logic Programming - Lopez, Pfenning, Polakow, Watkins (2005) (Correct)
No context found.
E. Moggi. Notions of computation and monads. Information and Computation, 93(1):55--92, 1991.
Specifying Properties of Concurrent Computations in CLF - Watkins, Cervesato.. (2004) (Correct)
No context found.
Moggi, E., Notions of computation and monads, Information and Computation 93 (1991), pp. 55--92.
Skeletons and the Anatomy of Monads - Chuan-Kai Lin Department (Correct)
No context found.
Eugenio Moggi. Notions of computation and monads. Information And Computation, 93(1):55--92, July 1991.
A Monadic Approach for Avoiding Code Duplication when .. - Swadi, Taha.. (2006) (Correct)
No context found.
E. Moggi. Notions of computation and monads. Information and Computation, 93(1), 1991.
Cryptographically Sound Theorem Proving - Sprenger, Backes, Basin.. (2006) (2 citations) (Correct)
No context found.
E. Moggi. Notions of computation and monads. Information and Computation, 1991.
Complete Lax Logical Relations for Cryptographic.. - Goubault-Larrecq.. (2004) (Correct)
No context found.
E. Moggi. Notions of computation and monads. Information and Computation, 93:55--92, 1991.
CLL: A Concurrent Language Built from Logical Principles - Garg (2005) (Correct)
No context found.
Eugenio Moggi. Notions of computation and monads. Information and Computation, 93(1):55--92, 1991.
A Functional Correspondence between Monadic Evaluators and.. - Ager (2004) (1 citation) (Correct)
No context found.
Eugenio Moggi. Notions of computation and monads. Information and Computation, 93:55--92, 1991.
The Gist of Side Effects in Pure Functional Languages - Pablo Nogueira Http (Correct)
No context found.
Eugenio Moggi. Notions of computation and monads. Information and Computation, 93:55--92, 1991.
A Methodology for Generating Verified Combinatorial Circuits - Kiselyov, Swadi, Taha (2004) (1 citation) (Correct)
No context found.
Eugenio Moggi. Notions of computation and monads. Information and Computation, 93(1), 1991.
Staging Dynamic Programming Algorithms - Kedar Swadi Kswadi (2005) (Correct)
No context found.
Eugenio Moggi. Notions of computation and monads. Information and Computation, 93(1), 1991.
Relating FFTW and Split-Radix - Kiselyov, Taha (2004) (Correct)
No context found.
Eugenio Moggi. Notions of computation and monads. Information and Computation, 93(1), 1991.
DSL Implementation in MetaOCaml, Template Haskell, and.. - Czarnecki, O'Donnell.. (Correct)
No context found.
Eugenio Moggi. Notions of computation and monads. Information and Computation, 93(1), 1991.
Towards a Mathematical Operational Semantics - Turi, Plotkin (1997) (53 citations) (Correct)
No context found.
E. Moggi. Notions of computation and monads. Information and Computation, 93:55--92, 1991.
Normal Forms and Conservative Extension Properties for Query.. - Wong (1995) (4 citations) (Correct)
No context found.
E. Moggi, Notions of computation and monads, Information and Computation 93 (1991), 55--92.
Query Languages for Bags and Aggregate Functions - Libkin, Wong (1997) (7 citations) (Correct)
No context found.
E. Moggi, Notions of computation and monads, Information and Computation 93 (1991), 55--92.
Complete Axioms for Categorical Fixed-point Operators - Simpson, Plotkin (2000) (11 citations) (Correct)
No context found.
E. Moggi. Notions of computation and monads. Information and Computation, 93(1), 1991.
Semantic Representations and Query Languages for Or-Sets - Libkin, Wong (1993) (9 citations) (Correct)
No context found.
E. Moggi, Notions of computation and monads, Information and Computation 93 (1991), 55--92.
Typed Memory Management in a Calculus of Capabilities - Walker, Crary, Morrisett (2000) (Correct)
No context found.
Eugenio Moggi. Notions of computation and monads. Information and Computation, 93:55--92, 1991.
Complete Lax Logical Relations for Cryptographic Lambda-Calculi - Goubault-Larrecq (2004) (Correct)
No context found.
E. Moggi. Notions of computation and monads. Information and Computation, 93, 1991.
A Type System for Expressive Security Policies - Walker (1999) (28 citations) (Correct)
No context found.
Eugenio Moggi. Notions of computation and monads. Information and Computation, 93:55--92, 1991.
A Monadic Analysis of Information Flow Security with.. - Crary, Kliger, Pfenning (2004) (1 citation) (Correct)
No context found.
E. Moggi. Notions of computation and monads. Information and Computation, 93:55--92, 1991.
A Probabilistic Language based upon Sampling Functions - Park, Pfenning, Thrun (2004) (Correct)
No context found.
E. Moggi. Notions of computation and monads. Information and Computation, 93:55--92, 1991.
Complete Lax Logical Relations for Cryptographic.. - Goubault-Larrecq.. (2004) (Correct)
No context found.
E. Moggi. Notions of computation and monads. Information and Computation, 93:55--92, 1991.
Monadic Corecursion - Definition, Fusion Laws, and Applications - Pardo (1998) (Correct)
No context found.
E. Moggi. Notions of Computation and Monads. Information and Computation, 93:55--92, 1991. 34
Names, Equations, Relations: Practical Ways to Reason about new .. - Stark (1997) (Correct)
No context found.
E. Moggi. Notions of computation and monads. Information and Computation, 93(1):55--92, July 1991.
A Monadic Analysis of Information Flow Security with.. - Crary, Kliger, Pfenning (2003) (1 citation) (Correct)
No context found.
E. Moggi. Notions of computation and monads. Information and Computation, 93:55--92, 1991.
On the Observable Properties of - Higher Order Functions (Correct)
No context found.
E. Moggi. Notions of Computation and Monads, Information and Computation 93(1991) 55--92.
On a Monadic Semantics for Freshness - Mark Shinwell Andrew (Correct)
No context found.
E. Moggi, Notions of computation and monads, Information and Computation 93 (1) (1991) 55--92.
Controlling Effects - Filinski (1996) (2 citations) (Correct)
No context found.
Eugenio Moggi. Notions of computation and monads. Information and Computation, 93(1):55--92, July 1991.
A Monadic Analysis of Information Flow Security with.. - Crary, Kliger, Pfenning (2003) (1 citation) (Correct)
No context found.
E. Moggi. Notions of computation and monads. Information and Computation, 93:55--92, 1991.
Ordinals and Interactive Programs - Hancock (2000) (Correct)
No context found.
Eugenio Moggi. Notions of computation and monads. Information and Computation, 93(1):55--92, 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