Lionel Parreaux
Lionel Parreaux
PhD student, EPFL
Verified email at insa-lyon.fr
TitleCited byYear
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
412016
Unifying analytic and statically-typed quasiquotes
L Parreaux, A Voizard, A Shaikhha, CE Koch
Proceedings of the ACM on Programming Languages 2 (POPL), 13, 2017
142017
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
142017
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
62017
Finally, a Polymorphic Linear Algebra Language
A Shaikhha, L Parreaux
33rd European Conference on Object-Oriented Programming (ECOOP 2019), 2019
32019
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
The system can't perform the operation now. Try again later.
Articles 1–6