Algebraic Effects for Extensible Dynamic Semantics.

Julian Grove Jean-Philippe Bernardy

Published in: J. Log. Lang. Inf. (2023)

Keyphrases

dynamic environments
changing environment
dynamically changing
markup language
formal semantics
algebraic structure
real world
data model
logic programming