Making Patterns Explicit with Metaprogramming
Abstract elided by the publisher.
Related papers
- Backstage Java: making a difference in metaprogramming OOPSLA 2011
- Mœbius: metaprogramming using contextual types: the stage where system f can pattern match on itself POPL 2022
- Incremental type-checking for type-reflective metaprograms GPCE 2010
- Barrier Inference POPL 1998
- The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution (Pearl/Brave New Idea) ECOOP 2023
- Metaprogramming with combinators GPCE 2021
- Restaging Domain-Specific Languages: A Flexible Design Pattern for Rapid Development of Optimizing Compilers GPCE 2024
- Unifying analytic and statically-typed quasiquotes POPL 2018