Polymorphic Extractors for Semantic and Portable Pattern Matching
Published in GPCE (Short Paper), 2019
Publications
You can find my articles on my Google Scholar profile.
Compiler Generation for Performance-Oriented Embedded DSLs
Published in GPCE (Short Paper), 2019
Efficient Differentiable Programming in a Functional Array-Processing Language
Published in ICFP, 2019
Download here
Finally, a Polymorphic Linear Algebra Language
Published in ECOOP, 2019
Download here