369 citations found. Retrieving documents...
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