Jan Sliacky, Petr Maj. Lambdulus: teaching lambda calculus practically. In Elisa L. A. Baniassad, editor, SPLASH-E '19 - Proceedings of the 2019 ACM SIGPLAN Workshop on SPLASH-E, Athens, Greece, October 25, 2019. pages 57-65, ACM, 2019. [doi]
Abstract is missing.