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.
@inproceedings{Rowe2019characterising,
title = {Characterising Renaming within {OCaml}'s Module System: Theory and Implementation},
author = {Reuben N. S. Rowe and Hugo F\'{e}r\'{e} and Simon J. Thompson and Scott Owens},
year = {2019},
note = {To appear.},
researchr = {https://researchr.org/publication/Rowe2019characterising},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019},
}