Characterising renaming within OCaml's module system: theory and implementation.

Reuben N. S. Rowe, Hugo Fre, Simon J. Thompson, Scott Owens

Browse the full PLDI paper archive.