Lionel Parreaux
Title
Cited by
Cited by
Year
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
632016
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
192017
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
152017
Finally, a polymorphic linear algebra language
A Shaikhha, L Parreaux
33rd European Conference on Object-Oriented Programming (ECOOP 2019), 2019
72019
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
72017
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
The system can't perform the operation now. Try again later.
Articles 1–10