Familial monads and structural operational semantics.

Tom Hirschowitz

Published in: Proc. ACM Program. Lang. (2019)

Keyphrases

operational semantics
formal semantics
mental states
model theoretic
data model
declarative semantics
denotational semantics
agent programming
case study
natural language
mobile robot
speech acts
activity diagrams