Extrinsically typed operational semantics for functional languages.

Matteo Cimini Dale Miller Jeremy G. Siek

Published in: SLE (2020)

Keyphrases

operational semantics
formal semantics
mental states
functional language
model theoretic
declarative semantics
activity diagrams
denotational semantics
database systems
cooperative
programming language
logic programs
agent programming