Projects per year
Personal profile
Research interests
Computer Science / Information Technology - Programming languages
Computer Science / Information Technology - Type systems
Computer Science / Information Technology - Functional programming
Computer Science / Information Technology - Generative programming
Computer Science / Information Technology - Language design
Computer Science / Information Technology - Compiler optimizations
Computer Science / Information Technology - Type systems
Computer Science / Information Technology - Functional programming
Computer Science / Information Technology - Generative programming
Computer Science / Information Technology - Language design
Computer Science / Information Technology - Compiler optimizations
Related documents
Education/Academic qualification
PhD in Computer Science, PhD, Swiss Federal Institute of Technology Lausanne
2020
Fingerprint
Dive into the research topics where Lionel PARREAUX is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A Lightweight Type System for Scope and Effect Safety with Complete Bidirectional & Boolean-algebraic Type Inference
PARREAUX, L. (PI)
25/09/24 → 24/09/27
Project: Research
-
Optimizing Functional Programs by Building on Optimal Graph Reduction Techniques
PARREAUX, L. (PI)
1/01/22 → 30/06/25
Project: Research
Research output
-
A Simple Recipe for Writing Decent Recursive Descent Parsers
Cheng, L. & Parreaux, L., 25 Jun 2026, 40th European Conference on Object-Oriented Programming, ECOOP 2026. Krebbers, R. & Silva, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 28 p. 30. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 372).Research output: Chapter in Book/Conference Proceeding/Report › Conference Paper published in a book › peer-review
Open Access -
The Simple Essence of Boolean-Algebraic Subtyping: Semantic Soundness for Algebraic Union, Intersection, Negation, and Equi-recursive Types
Chau, C. Y. & Parreaux, L., 8 Jan 2026, In: Proceedings of the ACM on Programming Languages. 10, POPL, p. 1353-1382 30 p.Research output: Contribution to journal › Journal Article › peer-review
Open Access -
The Simple Essence of Boolean-Algebraic Subtyping: Semantic Soundness for Algebraic Union, Intersection, Negation, and Equi-recursive Types (Artifact)
CHAU, C. Y. & PARREAUX, L., 9 Jan 2026Research output: Non-textual form › Software
Open Access -
Welcome from the Chairs
Strüber, D., Parreaux, L. & van Binsbergen, L. T., 23 Jun 2026, In: GPCE 2026 - Proceedings of the 25th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Co-located with ECOOP 2026. p. IIIResearch output: Contribution to journal › Editorial
-
“Live in the Editor”: Low-Tech In-Situ Feedback for Plain-Text Live Programming
CHENG, L., Su, B. & PARREAUX, L., 13 Apr 2026, CHI EA '26: Proceedings of the Extended Abstracts of the 2026 CHI Conference on Human Factors in Computing Systems. Oliver, N., Shamma, D. A., Candello, H., Cesar, P., Lopes, P., Artizzu, V., Draxler, F., Lopez, G., Reinschluessel, A. V., Tong, X. & Toups Dugas, P. O. (eds.). Association for Computing Machinery, p. 1-5 5 p. 789. (Conference on Human Factors in Computing Systems - Proceedings).Research output: Chapter in Book/Conference Proceeding/Report › Conference Paper published in a book › peer-review
Open Access
Awards
-
Distinguished Artifact at OOPSLA 2025
GAO, C. (Recipient) & PARREAUX, L. (Recipient), 2025
Prize: Other Research Award and Prize
-
Nomination for SENG Teaching Excellence Appreciation Award 2023-24
PARREAUX, L. E. V. (Recipient), Dec 2025
Prize: Honorary Award
-
-
OOPSLA Distinguished Paper Award
PARREAUX, L. E. V. (Recipient), 2024
Prize: Best Paper Award and Prize
-
OOPSLA Distinguished Paper Award
PARREAUX, L. E. V. (Recipient), 2024
Prize: Best Paper Award and Prize