Selected Publications

Note: an exhaustive list of publications is available on individual authors’ Google Scholar pages.


Chun Yin Chau, Lionel Parreaux (2026). The Simple Essence of Boolean-Algebraic Subtyping. In POPL ‘26.

Cite View on conference website

Cunyuan Gao, Lionel Parreaux (2025). A Lightweight Type-and-Effect System for Invalidation Safety. In OOPSLA ‘25.
🏆 Distinguished Artifact.

DOI Tech. Report PDF View on conference website

Cunyuan Gao, Lionel Parreaux (2024). Seamless Scope-Safe Metaprogramming Through Polymorphic Subtype Inference (Short Paper). In GPCE ‘24.

Cite Video DOI Github Project View on conference website

Luyu Cheng, Lionel Parreaux (2024). The Ultimate Conditional Syntax. In OOPSLA ‘24.
🏆 Distinguished Paper.

PDF Cite Video DOI Tech. Report PDF View on conference website

Amir Kafshdar Goharshady, John (Chun Kit) Lam, Lionel Parreaux (2024). Fast and Optimal Extraction for Sparse Equality Graphs. In OOPSLA ‘24.
🏆 Distinguished Paper.

Cite Video DOI View on conference website

Yijia (Anto) Chen, Lionel Parreaux (2024). The Long Way to Deforestation. In ICFP ‘24.
🏆 Distinguished Paper.

PDF Cite Video DOI Github Project Tech. Report View on conference website

John (Chun Kit) Lam, Lionel Parreaux (2024). Being Lazy When It Counts. In FLOPS ‘24.

PDF Cite DOI View on conference website

Lionel Parreaux, Aleksander Boruch-Gruszecki, Andong Fan, Chun Yin Chau (2024). When Subtyping Constraints Liberate. In POPL ‘24.

PDF Cite DOI Github Project Tech. Report PDF View on conference website

Ishan Bhanuka, Lionel Parreaux, David Binder, Jonathan Immanuel Brachthäuser (2023). Getting into the Flow. In OOPSLA ‘23.

PDF Cite DOI Github Project Tech. Report PDF View on conference website

Andong Fan, Lionel Parreaux (2023). super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion. In ECOOP ‘23.
🏆 Distinguished Artifact.

PDF Cite DOI Github Project View on conference website

Lionel Parreaux, Chun Yin Chau (2022). MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types. In OOPSLA ‘22.

PDF Cite Video DOI Github Project Tech. Report PDF View on conference website

Aleksander Boruch-Gruszecki, RadosĹ‚aw WaĹ›ko, Yichen Xu, Lionel Parreaux (2022). A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning. In OOPSLA ‘22.

PDF Cite Video DOI Github Project Tech. Report PDF View on conference website

Lionel Parreaux (2020). Type-Safe Metaprogramming and Compilation Techniques For Designing Efficient Systems in High-Level Languages. PhD thesis.

Cite DOI

Lionel Parreaux, Amir Shaikhha (2020). Multi-stage Programming in the Large with Staged Classes. In GPCE ‘20.

Cite Video DOI Github Project View on conference website

Lionel Parreaux (2020). The Simple Essence of Algebraic Subtyping. In ICFP ‘20.

PDF Cite Video DOI Github Project View on conference website

Amir Shaikhha, Lionel Parreaux (2019). Finally, a Polymorphic Linear Algebra Language (Pearl). In ECOOP ‘19.

Cite DOI View on conference website

Lionel Parreaux, Antoine Voizard, Amir Shaikhha, Christoph E. Koch (2018). Unifying Analytic and Statically-Typed Quasiquotes. In POPL ‘18.

PDF Cite Video DOI Github Project

Lionel Parreaux, Amir Shaikhha, Christoph E. Koch (2017). Quoted Staged Rewriting. In GPCE ‘17.
🏆 Best Paper.

PDF Cite DOI Github Project View on conference website