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]

Authors

Clement Blaudeau

This author has not been identified. Look up 'Clement Blaudeau' in Google

Didier Rémy

This author has not been identified. Look up 'Didier Rémy' in Google

Gabriel Radanne

This author has not been identified. Look up 'Gabriel Radanne' in Google