Squid

Multi-stage Programming in the Large with Staged Classes
Multi-stage programming (MSP) holds great promise, allowing the reliable generation of specialized, partially-evaluated code with …
Cite Video DOI Github Project View on conference website
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