Characterising Renaming within OCaml's Module System: Theory and Implementation

Reuben N. S. Rowe, Hugo F\'{e}r\'{e}, Simon J. Thompson, Scott Owens. Characterising Renaming within OCaml's Module System: Theory and Implementation. In Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019. 2019.

Abstract

Abstract is missing.