APA (7th ed.) Citation

Michaelson, D., Nadathur, G., & Van Wyk, E. (2025). A Modular Approach to Metatheoretic Reasoning for Extensible Languages. ACM Transactions on Programming Languages & Systems, 47(3), 1. https://doi.org/10.1145/3731555

Chicago Style (17th ed.) Citation

Michaelson, Dawn, Gopalan Nadathur, and Eric Van Wyk. "A Modular Approach to Metatheoretic Reasoning for Extensible Languages." ACM Transactions on Programming Languages & Systems 47, no. 3 (2025): 1. https://doi.org/10.1145/3731555.

MLA (9th ed.) Citation

Michaelson, Dawn, et al. "A Modular Approach to Metatheoretic Reasoning for Extensible Languages." ACM Transactions on Programming Languages & Systems, vol. 47, no. 3, 2025, p. 1, https://doi.org/10.1145/3731555.