/ Publications

Omnidirectional type inference for ML

Talk

Alistair O'Brien, Gabriel Scherer, Didier Rémy

WITS (2026)

PDF
Slides
Recording

Omnidirectional type inference for ML: principality any way

Submitted

Alistair O'Brien, Gabriel Scherer, Didier Rémy

TOPLAS (2026)

PDF
Code

Typing OCaml in OCaml: A Constraint-Based Approach

Published

Alistair O'Brien

PhD Proposal (2025)

PDF

Typing OCaml in OCaml: A Constraint-Based Approach

Published

Alistair O'Brien

Part II Dissertation (2022)

PDF
Code