Pragmatic Aspects of Two-Level Denotational Meta-Languages
Abstract elided by the publisher.
Related papers
- Pragmatic aspects of reusable program generators JFP 2003
- A Self-Applicable Partial Evaluator for the Lambda Calculus: Correctness and Pragmatics TOPLAS 1992
- Refinement kinds: type-safe programming with practical type-level computation OOPSLA 2019
- Correctness of Code Generation from a Two-Level Meta-Language ESOP 1986
- A two-level logic perspective on (simultaneous) substitutions CPP 2018
- Modular monadic meta-theory ICFP 2013
- Languages with Decidable Learning: A Meta-theorem OOPSLA 2023
- Concrete Syntax Metapatterns SLE 2024