Characterising Renaming within OCaml's Module System: Theory and Implementation - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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.

The following publications are possibly variants of this publication:

Characterising renaming within OCaml's module system: theory and implementationReuben N. S. Rowe, Hugo Férée, Simon J. Thompson, Scott Owens. PLDI 2019: 950-965 [doi]

Rotor: a tool for renaming values in OCaml's module systemReuben N. S. Rowe, Hugo Férée, Simon J. Thompson, Scott Owens. ICSE 2019: 27-30 [doi]

runs on WebDSL