Lionel Parreaux
where else to find them
what they talk about
all 6 in the filters
where they keep going back
all 9 in the filters
on a stage with
all 13 in the filters
who talks about the same things
- Chun Yin Chau3 talks
- Ondřej Lhoták11 talks
- Edward Lee10 talks
- Yizhou Zhang13 talks
- Magnus Madsen11 talks
- Nicolas Tabareau14 talks
| title | conference | date |
|---|---|---|
| Decoupling Resolution from Type Inference | WITS 2026 | 2026-01-17 |
Prototype language wit implements hybrid resolution: a fast, local type-aware static analysis that runs before full type inference to choose overloads and… | ||
| The Simple Essence of Boolean-Algebraic Subtyping: Semantic Soundness for Algebraic(…) | POPL 2026 | 2026-01-11 |
Distills BAS to five families of characteristic Boolean homomorphisms and uses them to give a direct semantic soundness proof that subtyping never equates… | ||
| A Lightweight Type-and-Effect System for Invalidation Safety: Tracking Permanent and(…) | OOPSLA 2025 | 2025-10-16 |
A new system named InvalML statically tracks both permanent and temporary invalidation for regioned resources by combining Boolean-algebraic types (unions… | ||
| Diff-based interactive compiler debugging and testing | LIVE 2024 | 2025-03-28 |
A test runner for the MLscript compiler monitors saved files in VS Code, evaluates sequential test blocks and writes inferred types, runtime results and… | ||
| Seamless Scope-Safe Metaprogramming Through Polymorphic Subtype Inference (Short Paper) | GPCE 2024 | 2024-10-21 |
A new type system statically tracks code-fragment context requirements by combining Boolean-algebraic subtyping (union/intersection/negation types to encode… | ||
| Modular Borrowing Without Ownership or Linear Types | IWACO 2024 | 2024-10-21 |
Claims a practical way to get Rust-like temporary borrowing without ownership or linear types by tracking uses as effects and encoding forbidden regions with… | ||
| On Distributive Subtyping with Finitary and Infinitary Unions and Intersections | UNSOUND 2024 | 2024-10-20 |
Argues that whether intersections and unions distribute over function and constructed types hinges on Church vs Curry divide: languages with internal typing… | ||
| The Ultimate Conditional Syntax | OOPSLA 2024 | 2024-10-20 |
Proposes a new pattern syntax that combines conditional splits, pattern flowing, and interleaved let bindings; implements it in MLscript with an online… | ||
| Welcome to UNSOUND | UNSOUND 2024 | 2024-10-20 |
Opens the UNSOUND workshop and defines unsoundness as a mismatch between claimed type guarantees and runtime behavior, then gives concrete examples and fixes… | ||
| Fast and Optimal Extraction for Sparse Equality Graphs | OOPSLA 2024 | 2024-10-20 |
The paper proves e-graph extraction is NP-hard and hard to approximate by reduction from set cover, then gives a fixed-parameter tractable dynamic program over… | ||
| When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-C... | POPL 2024 | 2024-01-14 |
Introduces a declarative system F{≤} and an algorithm SuperF that uses multi‑bounded polymorphism to infer first‑class polymorphic types, encoding… | ||
| Getting into the Flow: Towards Better Type Error Messages for Constraint-Based ... | OOPSLA 2023 | 2023-10-23 |
Proposes turning constraint-generation into explicit data flows by attaching provenances (sequences of source locations) to algebraic subtyping constraints… | ||
| MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types | OOPSLA 2022 | 2022-12-05 |
MLstruct claims to combine principal polymorphic inference with first-class unions, intersections and equirecursive structural types by treating type… | ||
| Theoretical Foundations for Objects with Pattern Matching and GADT-Style Reasoning | OOPSLA 2022 | 2022-12-05 |
Introduces the cDOT calculus as a formal foundation that encodes subtyping information uncovered by pattern matching, builds on pDOT and DOT-style structural… | ||
| The Ultimate Conditional Syntax | ML 2022 | 2022-09-15 |
Claims that a generalized if-expression called the Ultimate Conditional Syntax subsumes ML pattern matching and is implemented in MLscript, using nested… | ||
| Multi-stage Programming in the Large with Staged Classes | GPCE 2020 | 2020-11-16 |
Introduces staged classes implemented in the Squid Scala framework to generate class and module definitions with static typing and scope guarantees, producing… | ||
| The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Ma... | ICFP 2020 | 2020-08-23 |
Proposes Simple-sub, a concrete algorithm that preserves principal types with inclusive subtyping and is implemented as Simple-sub under 500 lines (parser… | ||
| nothing matches | ||