A Modular Approach to Metatheoretic Reasoning for Extensible Languages.

Saved in:

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

Description
ISSN:	01640925
DOI:	10.1145/3731555