Lightweight Functional Logic Meta-Programming
No abstract available.
DOI 10.1007/978-3-030-34175-6_12
Related papers
- A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework ECOOP 2025
- Modular verification of linearizability with non-fixed linearization points PLDI 2013
- A Lightweight Formalization of the Metatheory of Bisimulation-Up-To CPP 2015
- Lightweight, generative variant exploration for high-performance graphics Applications GPCE 2015
- Meta-F ^\star : Proof Automation with SMT, Tactics, and Metaprograms ESOP 2019
- MetaFJig: a meta-circular composition language for Java-like classes OOPSLA 2010
- Let It Be Optimized: Building Multi-stage Evaluators with Let-Insertion and Optimizations in Small Pieces (Functional Pearl) ICFP 2026
- Actor Induction and Meta-Evaluation POPL 1973