How to architect a query compiler A Shaikhha, Y Klonatos, L Parreaux, L Brown, M Dashti, C Koch Proceedings of the 2016 International Conference on Management of Data, 1907 …, 2016 | 57 | 2016 |
Unifying analytic and statically-typed quasiquotes L Parreaux, A Voizard, A Shaikhha, CE Koch Proceedings of the ACM on Programming Languages 2 (POPL), 1-33, 2017 | 19 | 2017 |
Quoted Staged Rewriting: a practical approach to library-defined optimizations L Parreaux, A Shaikhha, C Koch Proceedings of 16th ACM SIGPLAN International Conference on Generative …, 2017 | 15 | 2017 |
Squid: type-safe, hygienic, and reusable quasiquotes L Parreaux, A Shaikhha, CE Koch Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, 56-66, 2017 | 7 | 2017 |
Finally, a polymorphic linear algebra language A Shaikhha, L Parreaux 33rd European Conference on Object-Oriented Programming (ECOOP 2019), 2019 | 6 | 2019 |
Multi-stage programming in the large with staged classes L Parreaux, A Shaikhha Proceedings of the 19th ACM SIGPLAN International Conference on Generative …, 2020 | | 2020 |
The simple essence of algebraic subtyping: Principal type inference with subtyping made easy (Functional Pearl) L Parreaux Proceedings of the ACM on Programming Languages 4 (ICFP), 1-28, 2020 | | 2020 |
Type-Safe Metaprogramming and Compilation Techniques For Designing Efficient Systems in High-Level Languages L Parreaux EPFL, 2020 | | 2020 |
Towards improved GADT reasoning in Scala L Parreaux, A Boruch-Gruszecki, PG Giarrusso Proceedings of the Tenth ACM SIGPLAN Symposium on Scala, 12-16, 2019 | | 2019 |
Comprehending monoids with class L Parreaux, CE Koch Workshop on Type-Driven Development, 2018 | | 2018 |