Lionel Parreaux

MLstruct: principal type inference in a Boolean algebra of structural types

2022 · Proceedings of the ACM on Programming Languages

Intersection and union types are becoming more popular by the day, entering the mainstream in programming languages like TypeScript and Scala 3. Yet, no language so far has managed to combine these powerful types with …

The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures

2024 · Proceedings of the ACM on Programming Languages

Deforestation is a compiler optimization that removes intermediate data structure allocations from functional programs to improve their efficiency. This is an old idea, but previous approaches have proved limited or impractical — they either only …