| 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 | 112 | 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 | 38 | 2017 |
| 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 | 21 | 2020 |
| 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 | 21 | 2017 |
| Finally, a polymorphic linear algebra language A Shaikhha, L Parreaux 33rd European Conference on Object-Oriented Programming (ECOOP 2019), 2019 | 16* | 2019 |
| 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 | 15 | 2022 |
| 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 | 13 | 2017 |
| 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 | 8 | 2019 |
| Type-Safe Metaprogramming and Compilation Techniques For Designing Efficient Systems in High-Level Languages L Parreaux EPFL, 2020 | 6 | 2020 |
| Multi-stage programming in the large with staged classes L Parreaux, A Shaikhha Proceedings of the 19th ACM SIGPLAN International Conference on Generative …, 2020 | 4 | 2020 |
| 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 | 3 | 2022 |
| 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 | 2 | 2024 |
| 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 | 2 | 2023 |
| 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 | 2 | 2023 |
| The Ultimate Conditional Syntax L Parreaux ML Family Workshop 2022, 2022 | 1 | 2022 |
| 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 | 1 | 2021 |
| Comprehending monoids with class L Parreaux, CE Koch Workshop on Type-Driven Development, 2018 | 1 | 2018 |
| 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 | | |
