Author(s): Bumford, Dylan and Simon Charlow
Title: Dynamic semantics with static types
Keywords: dynamic semantics, type theory, continuations, crossover, lenses, monads, ellipsis, variable-free semantics
Date submitted: 2022 10 23