Preprint
Sep 2026
A monadic interpreter and type-and-effect checker
We present a concrete implementation in Haskell of a monadic framework that includes both a small-step interpreter and a type-and-effect checker for the corresponding language. Our approach separates the language syntax from the semantics of its effects. This design allows the interpreter to remain parametric over the...
Stefano Raviola, Paola Giannini, Francesco Dagnino
· 0 citations