Extrinsically typed operational semantics for functional languages
Matteo Cimini, Dale Armin Miller, Jeremy G. Siek · 2020
We present a type system over language definitions that classifies parts of the operational semantics of a language in input, and models a common language design organization. The resulting typing discipline guarantees that the language at hand is automatically type sound.