Coalgebras and monads in the semantics of Java.

Bart Jacobs Erik Poll

Published in: Theor. Comput. Sci. (2003)

Keyphrases

open source
source code
logic programming
web services
web applications
programming language
lightweight
java programs
object oriented
databases
relational databases
semantic information
formal semantics
transformation rules
java language