A Modular Approach to Metatheoretic Reasoning for Extensible Languages.
Saved in:
| 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 |
Be the first to leave a comment!