Characterising renaming within OCaml’s module system: theory and implementation
| Title: | Characterising renaming within OCaml’s module system: theory and implementation |
|---|---|
| Authors: | Rowe, Reuben N. S.; Férée, Hugo; Thompson, Simon J.; Owens, Scott |
| Source: | Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. :950-965 |
| Availability: | http://dl.acm.org/doi/10.1145/3314221.3314600 |
| Database: | ACM Full-Text Collection |