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

Reuben N. S. Rowe Hugo Férée Simon J. Thompson Scott Owens

Published in: PLDI (2019)

Keyphrases

database
theoretical framework
data mining
computational model
implementation details
implementation issues
databases
decision making
future development
formal theory