Treffer: A Modular Approach to Metatheoretic Reasoning for Extensible Languages.
Title:
A Modular Approach to Metatheoretic Reasoning for Extensible Languages.
Authors:
Michaelson, Dawn1 (AUTHOR) micha576@umn.edu, Nadathur, Gopalan1 (AUTHOR) ngopalan@umn.edu, Van Wyk, Eric1 (AUTHOR) evw@umn.edu
Source:
ACM Transactions on Programming Languages & Systems. Sep2025, Vol. 47 Issue 3, p1-56. 56p.
Database:
Business Source Ultimate