EXPERIENCE
I'm working on formalizing and improving the OCaml module system. Our approach is largely inspired by the F-ing modules (Rossberg & al), which we adapt to the OCaml case. You can look at our draft (accepted at OOPSLA 2024) paper by clicking on link below