Operational semantics using the partiality monad.

Nils Anders Danielsson

Published in: ICFP (2012)

Keyphrases

operational semantics
formal semantics
mental states
data model
model theoretic
declarative semantics
denotational semantics
cooperative
activity diagrams
database
speech acts