Metaprogramming

Type-Safe Metaprogramming and Compilation Techniques For Designing Efficient Systems in High-Level Languages
Software engineering practices have been steadily moving towards higher-level programming languages and away from lower-level ones. …
Cite DOI
Unifying Analytic and Statically-Typed Quasiquotes
Metaprograms are programs that manipulate (generate, analyze and evaluate) other programs. These tasks are greatly facilitated by …
PDF Cite Video DOI Github Project
Quoted Staged Rewriting
Staging has proved a successful technique for programmatically removing code abstractions, thereby allowing for faster program …
PDF Cite DOI Github Project View on conference website