EXPERIENCE
I'm working on formalizing and improving the OCaml module system. Our approach is largely inspired by F-ing modules (Rossberg & al), which I extended with transparent existentials. Right now, we're focusing on complex type definitions (GADTs, extensible types, parametric types, variance, etc.) abstract signatures and recursive modules! See our OOPSLA2024 paper for more details