Francesco Dagnino A framework for big-step semantics. 27:1-27:3 2019 Programming https://doi.org/10.1145/3328433.3328461 conf/programming/2019 db/conf/programming/programming2019.html#Dagnino19