Programming with Behaviors in an ML Framework - The Syntax and Semantics of LCS
No abstract available.
Related papers
- Circal and the Representation of Communication, Concurrency, and Time TOPLAS 1985
- Extraction and Mutation at a High Level: Template-Based Fuzzing for JavaScript Engines OOPSLA 2025
- Semantics-guided synthesis POPL 2021
- On the Complexity of LR(k) Testing POPL 1975
- Field Constraint Analysis VMCAI 2006
- Static analysis for syntax objects ICFP 2006
- Formal metatheory of second-order abstract syntax POPL 2022
- Implementing a category-theoretic framework for typed abstract syntax CPP 2022