GitHub repository: plum-umd/abstracting-definitional-interpreters
Primary language: TeX
Description: Abstracting Definitional Interpreters