Monarch: A Modular Framework for Abstract Definitional Interpreters in Haskell.

Bram Vandenbogaerde, Sarah Verbelen, Noah Van Es, Coen De Roover

Browse the full SAS paper archive.