1 paper
Stefano Raviola, Paola Giannini, Francesco Dagnino
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…