A Modular Approach to Metatheoretic Reasoning for Extensible Languages. - Michaelson, Dawn; Nadathur, Gopalan; Van Wyk, Eric (ACM Transactions on Programming Languages & Systems, 2025)