Presentation at OCaml Meeting 2026: “OTP in Sesterl: ML Functors for Typing Erlang/OTP”

slides programming language type system OCaml Erlang Sesterl
PDF

This is the slides I used for my presentation in OCaml Meeting 2026, a casual meeting held at Shibuya, Tokyo.