GitHub repository: plum-umd/monadic-eval
Primary language: TeX
Description: Monadic evaluators for abstracting defnitional interpreters