Ask
Search
My library

About
Statistics
Contact
Data Protection
Accessibility
Imprint
Changelog
Frontend: v1.31.3
Backend: v1.11.4

We use cookies to provide a better user experience.

Data Protection

Coalgebras and monads in the semantics of Java

Jacobs, B.
Poll, E.

Publication date

January 2003

DOI

10.1016/S0304-3975(02)00366-3

Publisher

Elsevier BV

ISSN

0304-3975

Citation count (estimate)

34

Abstract

Contains fulltext : 130375.pdf (preprint version ) (Open Access

Extracted data

Related items

From coalgebraic to monoidal traces

Jacobs, B.

January 2010

Contains fulltext : 83462.pdf (publisher's version ) (Closed access

Context-Free Languages, Coalgebraically

Winter, J.
Bonsangue, M.
Rutten, J.

January 2011

Contains fulltext : 91662.pdf (publisher's version ) (Closed access

Scalars, monads, and categories

Coumans, D.
Jacobs, B.

January 2013

Contains fulltext : 111224.pdf (preprint version ) (Closed access

Comprehension for Coalgebras

Jacobs, B.

January 2002

Contains fulltext : 130354.pdf (preprint version ) (Closed access

Context-free coalgebras

Winter, J.
Bonsangue, M.M.
Rutten, J.J.M.M.

January 2015

Contains fulltext : 141357.pdf (preprint version ) (Open Access

Dijkstra and Hoare monads in monadic computation

Jacobs, B.

January 2015

Contains fulltext : 149048.pdf (preprint version ) (Open Access

Coalgebras and approximation

Jacobs, B.P.F.

January 1994

Contains fulltext : 175391.pdf (publisher's version ) (Closed access

Dijkstra Monads in Monadic Computation

Jacobs, B.

January 2014

Contains fulltext : 129945.pdf (author's version ) (Closed access

Exercises in Coalgebraic Specification

Jacobs, B.

January 2002

Contains fulltext : 130355.pdf (preprint version ) (Closed access

From algebras and coalgebras to dialgebras

Poll, Erik
Zwanenburg, Jan

January 2001

Contains fulltext : 19049.pdf ( ) (Open Access)Technical Report CSI-R010121 p

A short introduction to the coalgebraic method

Silva, A.

January 2015

Contains fulltext : 147292.pdf (publisher's version ) (Open Access

Formalizing Bialgebraic Semantics in PVS 6.0

Smetsers, S.
Madlener, K.
Eekelen, M.C.J.D. van

January 2015

Contains fulltext : 143732.pdf (publisher's version ) (Open Access

A coalgebraic semantics for causality in Petri nets

Bruni, R.
Montanari, U.
Sammartino, M.

January 2015

Contains fulltext : 151222.pdf (preprint version ) (Open Access

Immutable Objects for a Java-like Language

Haack, C.
Poll, E.
Schäfer, J.
Schubert, A.

January 2007

Contains fulltext : 34650.pdf (author's version ) (Open Access

Coalgebras and monads in the semantics of Java

Jacobs, Bart
Poll, Erik

January 2003

AbstractThis paper describes the basic structures in the denotational and axiomatic semantics of seq...

From coalgebraic to monoidal traces

Jacobs, B.

January 2010

Contains fulltext : 83462.pdf (publisher's version ) (Closed access

Context-Free Languages, Coalgebraically

Winter, J.
Bonsangue, M.
Rutten, J.

January 2011

Contains fulltext : 91662.pdf (publisher's version ) (Closed access

Scalars, monads, and categories

Coumans, D.
Jacobs, B.

January 2013

Contains fulltext : 111224.pdf (preprint version ) (Closed access

Comprehension for Coalgebras

Jacobs, B.

January 2002

Contains fulltext : 130354.pdf (preprint version ) (Closed access

Context-free coalgebras

Winter, J.
Bonsangue, M.M.
Rutten, J.J.M.M.

January 2015

Contains fulltext : 141357.pdf (preprint version ) (Open Access

Dijkstra and Hoare monads in monadic computation

Jacobs, B.

January 2015

Contains fulltext : 149048.pdf (preprint version ) (Open Access

Coalgebras and approximation

Jacobs, B.P.F.

January 1994

Contains fulltext : 175391.pdf (publisher's version ) (Closed access

Dijkstra Monads in Monadic Computation

Jacobs, B.

January 2014

Contains fulltext : 129945.pdf (author's version ) (Closed access

Exercises in Coalgebraic Specification

Jacobs, B.

January 2002

Contains fulltext : 130355.pdf (preprint version ) (Closed access

From algebras and coalgebras to dialgebras

Poll, Erik
Zwanenburg, Jan

January 2001

Contains fulltext : 19049.pdf ( ) (Open Access)Technical Report CSI-R010121 p

A short introduction to the coalgebraic method

Silva, A.

January 2015

Contains fulltext : 147292.pdf (publisher's version ) (Open Access

Formalizing Bialgebraic Semantics in PVS 6.0

Smetsers, S.
Madlener, K.
Eekelen, M.C.J.D. van

January 2015

Contains fulltext : 143732.pdf (publisher's version ) (Open Access

A coalgebraic semantics for causality in Petri nets

Bruni, R.
Montanari, U.
Sammartino, M.

January 2015

Contains fulltext : 151222.pdf (preprint version ) (Open Access

Immutable Objects for a Java-like Language

Haack, C.
Poll, E.
Schäfer, J.
Schubert, A.

January 2007

Contains fulltext : 34650.pdf (author's version ) (Open Access

Coalgebras and monads in the semantics of Java

Jacobs, Bart
Poll, Erik

January 2003

AbstractThis paper describes the basic structures in the denotational and axiomatic semantics of seq...

From coalgebraic to monoidal traces

Jacobs, B.

January 2010

Contains fulltext : 83462.pdf (publisher's version ) (Closed access

Context-Free Languages, Coalgebraically

Winter, J.
Bonsangue, M.
Rutten, J.

January 2011

Contains fulltext : 91662.pdf (publisher's version ) (Closed access

Scalars, monads, and categories

Coumans, D.
Jacobs, B.

January 2013

Contains fulltext : 111224.pdf (preprint version ) (Closed access