Follow
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
782016
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
292017
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
192017
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
112020
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
112017
Finally, a polymorphic linear algebra language
A Shaikhha, L Parreaux
33rd European Conference on Object-Oriented Programming (ECOOP 2019), 2019
10*2019
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
62019
Type-Safe Metaprogramming and Compilation Techniques For Designing Efficient Systems in High-Level Languages
L Parreaux
EPFL, 2020
52020
MLstruct: principal type inference in a Boolean algebra of structural types
L Parreaux, CY Chau
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 449-478, 2022
22022
Multi-stage programming in the large with staged classes
L Parreaux, A Shaikhha
Proceedings of the 19th ACM SIGPLAN International Conference on Generative …, 2020
22020
A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning
A Boruch-Gruszecki, R Waśko, Y Xu, L Parreaux
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1526-1555, 2022
12022
Implementing path-dependent GADT reasoning for Scala 3
Y Xu, A Boruch-Gruszecki, L Parreaux
Proceedings of the 12th ACM SIGPLAN International Symposium on Scala, 22-32, 2021
12021
Comprehending monoids with class
L Parreaux, CE Koch
Workshop on Type-Driven Development, 2018
12018
The Ultimate Conditional Syntax
L Parreaux
ML Family Workshop 2022, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–14