This project is joint work with Clément Blaudeau and Gabriel Radanne.
Avoiding signature avoidance in ML modules with zippers. This is draft of recent work.
Fulfilling OCaml modules with Transparency [PDF |
without
appendices | appendices]
will appear at OOPSLA’24.
This formalizes a large subsect of OCaml modules, including applicative
and generative functors, as well as transparent ascription
Retrofitting OCaml Modules [ PDF;
Extended
version ] has been presented at JFLA 2023.
This is a detailed, pedagogical description of OCaml modules, but
retricted the generative.