Selected Publications

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

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

PDF Cite DOI Github Project

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.

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

PDF Cite Video DOI Github Project

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