Selected Publications

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

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 (2020). The Simple Essence of Algebraic Subtyping. In ICFP ‘20.

PDF Cite Video DOI Github Project 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