@inproceedings{317801,
 author = {Zhong Shao},
 title = {Transparent modules with fully syntatic signatures},
 booktitle = {Proceedings of the fourth ACM SIGPLAN international conference on Functional programming},
 year = {1999},
 isbn = {1-58113-111-9},
 pages = {220--232},
 location = {Paris, France},
 doi = {http://doi.acm.org/10.1145/317636.317801},
 publisher = {ACM Press},
 }