Searching for "Coalgebraic Monads." – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Coalgebraic Monads
- …://www.elsevier.nl/locate/entcs/volume65.html 21 pages Coalgebraic Monads Neil Ghani a,1 ,4 Christoph Luth b,2 Federico De Marchi a,3 ,4 a…
- Add To MetaCart
-
Coalgebras and Monads in the Semantics of Java
- …Coalgebras and Monads in the Semantics of Java # Bart Jacobs and Erik Poll Dept. of Computer…
- Cited by 4 (0 self) – Add To MetaCart
-
Algebras, Coalgebras, Monads and Comonads
- …CMCS'01 Preliminary Version Algebras, Coalgebras, Monads and Comonads Neil Ghani a;1 Christoph L…
- Cited by 5 (3 self) – Add To MetaCart
-
Monad-based logics for computational effects
- …Monad-based logics for computational effects Till Mossakowski DFKI Laboratory, Bremen…
- Add To MetaCart
-
Dualizing Initial Algebras
- … than might appear at rst glance: nal coalgebras can form monads just as easily as comonads and dually…
- Add To MetaCart
-
Distributivity for Endofunctors, Pointed and Co-Pointed Endofunctors, Monads and Comonads
- … of coalgebraic methods in computer science [17,18]. But sometimes one has less data than that of a monad or a…
- Cited by 20 (1 self) – Add To MetaCart
-
Interpreting polymorphic FPC into domain theoretic models of parametric polymorphism
- … category C is the category whose objects are coalgebras for the monad (maps ξ: σ ⊸!σ satisfying ɛ ◦ ξ = id…
- Cited by 4 (1 self) – Add To MetaCart
-
Reusable Monadic Semantics of Object Oriented Programming Languages
- … the combination of algebras, coalgebras, monads and comonads to provide the semantics of interactive and object…
- Cited by 2 (0 self) – Add To MetaCart
-
LPS: A Language Prototyping System Using Modular Monadic Semantics
- …, coalgebras, monads and comonads to provide the semantics of interactive and object-oriented features [4…
- Add To MetaCart
Showing 1 through 9.
