TY  - RPRT
TI  - A Modular Approach to Metatheoretic Reasoning for Extensible Languages
AU  - Dawn Michaelson
AU  - Gopalan Nadathur
AU  - Eric Van Wyk
PY  - 2023
UR  - https://arxiv.org/abs/2312.14374
ID  - 2312.14374
ER  -