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, 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!
You must be logged in first