Monarch: A Modular Framework for Abstract Definitional Interpreters in Haskell
No abstract available.
Related papers
- Modular Abstract Definitional Interpreters for WebAssembly ECOOP 2023
- Managed data: modular strategies for data abstraction Onward! 2012
- Intrinsically-typed definitional interpreters à la carte OOPSLA 2022
- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution) TACAS 2021
- A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs TOPLAS 1993
- Every bit counts: The binary representation of typed data and programs JFP 2012
- Call-Guarded Abstract Definitional Interpreters ICFP 2025
- Experience report: a Haskell interpreter for cellML ICFP 2007