Multi-Stage Programming

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
Finally, a Polymorphic Linear Algebra Language (Pearl)
Many different data analytics tasks boil down to linear algebra primitives. In practice, for each different type of workload, data …
Cite DOI View on conference website