In this other OOPSLA '22 paper, we demonstrate that the Dependent Object Type calculus (DOT) with a `case` construct can generalize GADT-style reasoning, basing it on subtyping instead of type equality. This formally justifies Scala 3's implementation! arxiv.org/abs/2209.07427

In-person conference - for the first time!

Our ECOOP '23 paper on SuperOOP got a Distinguished Artifact award! It's about a solution to the expression problem which requires no type annotations except for class parameters, thanks to being implemented in MLscript & its powerful type inference system cse.hkust.edu.hk/~parreaux/post…

On Thursday, Lionel Parreaux s student Ishan will present our work: "Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference" a principled approach towards more exhaustive type error location.

Yay, our paper was just accepted to POPL 2024! "When Subtyping Constraints Liberate: A Novel Approach to First-Class-Polymorphic Type Inference" With Alex Boruch-Gruszecki Andong Fan ƒosfor

It was great visiting Bruno Oliveira's HKU PL Group yesterday! Also a nice opportunity for our students to interact cse.hkust.edu.hk/~parreaux/even…

I’m super happy to share that I won the first prize and audience awards in the student research competition at APLAS 2024. This is the first APLAS physically in Asia after COVID-19. Thanks to the conference organizers who made the wonderful conference possible!

Honored to be the winner of this year's POPL's most egregious Twitter reference!

Do you like poking holes in your favorite compiler’s type checker? Are you interested in discussing the various sources of unsoundness in type system and verification tools with like-minded PL nerds? The UNSOUND workshop at SPLASH 2024 is for you! Talk proposal deadline is Jul 15

Yijia Chen presents his great work with Lionel Parreaux on using type-based flow analysis to implement deforestation.

Honored and grateful that our paper was distinguished at ICFP 2024! It's about using "type inference and elaboration", a new compiler optimization technique, to automatically remove intermediate data structures from functional programs.

Very proud to receive the ACM SIGPLAN Distinguished Paper Award at PLDI '25 with Andong Fan and Han Xu! Please come to our talk tomorrow morning! It's going to be exciting! pldi25.sigplan.org/details/pldi-2…

Happy to share that our ICFP’25 paper “multi-stage programming with splice variables” with Tsung-Ju Chiang received a Distinguished Paper Award! See you in Singapore! icfp25.sigplan.org/details/icfp-2…