Lionel Parreaux

28 papers A 2B 3Misc 1Journal 15Unranked 6
YearRankTypeTitle / Venue / Authors
2026 — conf
"Live in the Editor": Low-Tech In-Situ Feedback for Plain-Text Live Programming.
CHI Extended Abstracts
Luyu Cheng, Bairui Su, Lionel Parreaux
2026 J jnl
The Simple Essence of Boolean-Algebraic Subtyping: Semantic Soundness for Algebraic Union, Intersection, Negation, and Equi-recursive Types.
Proc. ACM Program. Lang.
Chun Yin Chau, Lionel Parreaux
2025 J jnl
A Lightweight Type-and-Effect System for Invalidation Safety: Tracking Permanent and Temporary Invalidation with Constraint-Based Subtype Inference.
Proc. ACM Program. Lang.
Cunyuan Gao, Lionel Parreaux
2024 Misc conf
Being Lazy When It Counts - Practical Constant-Time Memory Management for Functional Programming.
FLOPS
Chun Kit Lam, Lionel Parreaux
2024 J jnl
Fast and Optimal Extraction for Sparse Equality Graphs.
Proc. ACM Program. Lang.
Amir Kafshdar Goharshady, Chun Kit Lam, Lionel Parreaux
2024 J jnl
Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference.
CoRR
Ishan Bhanuka, Lionel Parreaux, David Binder, Jonathan Immanuel Brachthäuser
2024 B conf
Seamless Scope-Safe Metaprogramming through Polymorphic Subtype Inference (Short Paper).
GPCE
Cunyuan Gao, Lionel Parreaux
2024 J jnl
The Long Way to Deforestation (Technical Report): A Type Inference and Elaboration Technique for Removing Intermediate Data Structures.
CoRR
Yijia Chen, Lionel Parreaux
2024 J jnl
The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures.
Proc. ACM Program. Lang.
Yijia Chen, Lionel Parreaux
2024 J jnl
The Ultimate Conditional Syntax.
Proc. ACM Program. Lang.
Luyu Cheng, Lionel Parreaux
2024 J jnl
When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism.
Proc. ACM Program. Lang.
Lionel Parreaux, Aleksander Boruch-Gruszecki, Andong Fan, Chun Yin Chau
2023 J jnl
Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference.
Proc. ACM Program. Lang.
Ishan Bhanuka, Lionel Parreaux, David Binder, Jonathan Immanuel Brachthäuser
2023 J jnl
super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion (Artifact).
Dagstuhl Artifacts Ser.
Andong Fan, Lionel Parreaux
2023 A conf
super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion.
ECOOP
Andong Fan, Lionel Parreaux
2022 J jnl
A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning.
CoRR
Aleksander Boruch-Gruszecki, Radoslaw Wasko, Yichen Xu, Lionel Parreaux
2022 J jnl
A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning.
Proc. ACM Program. Lang.
Aleksander Boruch-Gruszecki, Radoslaw Wasko, Yichen Xu, Lionel Parreaux
2022 J jnl
MLstruct: principal type inference in a Boolean algebra of structural types.
Proc. ACM Program. Lang.
Lionel Parreaux, Chun Yin Chau
2021 — conf
Comprehending Monoids with Class.
DBPL
Lionel Parreaux
2021 — conf
Implementing path-dependent GADT reasoning for Scala 3.
SCALA@SPLASH
Yichen Xu, Aleksander Boruch-Gruszecki, Lionel Parreaux
2020 B conf
Multi-stage programming in the large with staged classes.
GPCE
Lionel Parreaux, Amir Shaikhha
2020 J jnl
The simple essence of algebraic subtyping: principal type inference with subtyping made easy (functional pearl).
Proc. ACM Program. Lang.
Lionel Parreaux
2020 — —
Type-Safe Metaprogramming and Compilation Techniques For Designing Efficient Systems in High-Level Languages.
Lionel Parreaux
2019 A conf
Finally, a Polymorphic Linear Algebra Language (Pearl).
ECOOP
Amir Shaikhha, Lionel Parreaux
2019 — conf
Towards improved GADT reasoning in Scala.
SCALA@ECOOP
Lionel Parreaux, Aleksander Boruch-Gruszecki, Paolo G. Giarrusso
2018 J jnl
Unifying analytic and statically-typed quasiquotes.
Proc. ACM Program. Lang.
Lionel Parreaux, Antoine Voizard, Amir Shaikhha, Christoph E. Koch
2017 B conf
Quoted staged rewriting: a practical approach to library-defined optimizations.
GPCE
Lionel Parreaux, Amir Shaikhha, Christoph E. Koch
2017 — conf
Squid: type-safe, hygienic, and reusable quasiquotes.
SCALA@SPLASH
Lionel Parreaux, Amir Shaikhha, Christoph E. Koch
2016 — conf
How to Architect a Query Compiler.
SIGMOD Conference
Amir Shaikhha, Yannis Klonatos, Lionel Parreaux, Lewis Brown, Mohammad Dashti, Christoph Koch