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¹, micha576@umn.edu, Nadathur, Gopalan¹, ngopalan@umn.edu, Van Wyk, Eric¹, evw@umn.edu
Source:	ACM Transactions on Programming Languages & Systems; Sep2025, Vol. 47 Issue 3, p1-56, 56p
Database:	Applied Science & Technology Source

Description
ISSN:	01640925
DOI:	10.1145/3731555