Selected Publications

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


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

Cite Github Project

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

Cite DOI Github Project View on conference website

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

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 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 View on conference website

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.

PDF Cite DOI Github Project View on conference website