A Modular Approach to Metatheoretic Reasoning for Extensible Languages.

Dawn Michaelson, Gopalan Nadathur, Eric Van Wyk,

arXiv submission

PDF

DOI