Coalgebras and Monads in the Semantics of Java (2002)

Cached

Download Links

by Bart Jacobs , Erik Poll
Venue:Theoretical Computer Science
Citations:4 - 0 self

Documents Related by Co-Citation

766 Notions of Computation and Monads – Eugenio Moggi - 1991
761 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
700 Concurrency and automata on infinite sequences – D Park - 1981
986 Categories for the Working Mathematician – Saunders Mac Lane - 1971
517 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
244 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
325 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
94 Coalgebraic Logic – Lawrence S. Moss - 1999
71 Objects and Classes, Coalgebraically – B. Jacobs, Issn -x, Bart Jacobs - 1995