Robert Harper, Mark Lillibridge. A Type-Theoretic Approach to Higher-Order Modules with Sharing. In Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages. pages 123-137, 1994.
@inproceedings{HarperL94,
title = {A Type-Theoretic Approach to Higher-Order Modules with Sharing},
author = {Robert Harper and Mark Lillibridge},
year = {1994},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/HarperL94},
cites = {0},
citedby = {0},
pages = {123-137},
booktitle = {Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
}