Fulfilling OCaml Modules with Transparency

Clement Blaudeau, Didier Rémy, Gabriel Radanne. Fulfilling OCaml Modules with Transparency. Proceedings of the ACM on Programming Languages, 8(OOPSLA1):194-222, 2024. [doi]

Abstract

Abstract is missing.