Searching for "Representing Monads." – sorted by Relevance.
50 documents found, showing 1 through 10.
Next 10 →
-
Representing Monads
- …Representing Monads Andrzej Filinski School of Computer Science Carnegie Mellon University…
- Cited by 94 (3 self) – Add To MetaCart
-
A concurrent logical framework I: Judgments and properties
- … in which concurrent computations can be represented as monadic objects, for which there is an intrinsic…
- Cited by 37 (16 self) – Add To MetaCart
-
Algebras, Coalgebras, Monads and Comonads
- … and equations: models of such algebraic theories are precisely the algebras of the representing monad. We…
- Cited by 5 (3 self) – Add To MetaCart
-
Languages, pages 48--59, Portland, Oregon, January 1994. ACM Press. [PA93] Gordon Plotkin and Mart'in Abadi. A logic for parametric polymorphism. Applications,
- …. Representing monads. In H.-J. Boehm, editor, Conference Record of the 21st Symposium on Principles…
- Add To MetaCart
-
Abstract A Resumption Monad Transformer and its Applications in the Semantics of Concurrency £
- … that represents the atomic computations, constructs a monad Ê Å for interleaved computations. Moreover, we use…
- Add To MetaCart
-
A Resumption Monad Transformer and its Applications in the Semantics of Concurrency
- … place in the atomic steps. We define a monad transformer which, given a monad M that represents…
- Cited by 7 (1 self) – Add To MetaCart
-
Achieving information flow security through precise control of effects
- …). Because monads may be easily and safely represented within any pure, higher-order, typed functional…
- Cited by 4 (2 self) – Add To MetaCart
-
Dualizing Initial Algebras
- … are precisely the algebras of the representing monad. We attempt to emulate this result for the coalgebraic case…
- Add To MetaCart
-
unknown title
- …) that the rewritesystems do not collapse layers which is reflected in a condition on the monad representing the rewrite…
- Add To MetaCart
-
A Study of Evaluation Order Semantics in Expressions with Side Effects
- … of monads with additional features. Class MultiMonad represents monads with a binary operation…
- Cited by 6 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
