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
1092016
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
362017
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
202020
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
202017
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
152022
Finally, a polymorphic linear algebra language
A Shaikhha, L Parreaux
33rd European Conference on Object-Oriented Programming (ECOOP 2019), 2019
14*2019
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
132017
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
72019
Type-Safe Metaprogramming and Compilation Techniques For Designing Efficient Systems in High-Level Languages
L Parreaux
EPFL, 2020
62020
Multi-stage programming in the large with staged classes
L Parreaux, A Shaikhha
Proceedings of the 19th ACM SIGPLAN International Conference on Generative …, 2020
42020
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
32022
When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism
L Parreaux, A Boruch-Gruszecki, A Fan, CY Chau
Proceedings of the ACM on Programming Languages 8 (POPL), 1418-1450, 2024
22024
Getting Into The Flow: Towards Better Type Error Messages for Constraint-Based Type Inference
I Bhanuka, L Parreaux, D Binder, JI Brachthäuser
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 431-459, 2023
22023
super-charging Object-Oriented Programming through Precise Typing of Open Recursion
A Fan, L Parreaux
37th European Conference on Object-Oriented Programming (ECOOP 2023), 2023
22023
The Ultimate Conditional Syntax
L Parreaux
ML Family Workshop 2022, 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
Being Lazy When It Counts: Practical Constant-Time Memory Management for Functional Programming
CK Lam, L Parreaux
International Symposium on Functional and Logic Programming, 188-216, 2024
2024
super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion (Artifact)
A Fan, L Parreaux
Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2023
2023
MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types (Extended)
L PARREAUX, CYIN CHAU
The system can't perform the operation now. Try again later.
Articles 1–20