TACO Lab
TACO Lab
Home
About Me (PI)
News
GitHub
People
Recruiting
Events
Publications
M-Labs
Multi-Stage Programming
Seamless Scope-Safe Metaprogramming Through Polymorphic Subtype Inference (Short Paper)
Practical metaprogramming applications often involve manipulating open code fragments, which is easy to get wrong in the absence of …
Cunyuan Gao
,
Lionel Parreaux
Cite
Github Project
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 …
Lionel Parreaux
,
Amir Shaikhha
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 …
Amir Shaikhha
,
Lionel Parreaux
Cite
DOI
View on conference website
Cite
×