Robert Harper, Frank Pfenning. A Module System for a Programming Language Based on the LF Logical Framework. Journal of Logic and Computation, 8(1):5-31, 1998.
@article{HarperP98,
title = {A Module System for a Programming Language Based on the LF Logical Framework},
author = {Robert Harper and Frank Pfenning},
year = {1998},
tags = {programming languages, rule-based, programming},
researchr = {https://researchr.org/publication/HarperP98},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Computation},
volume = {8},
number = {1},
pages = {5-31},
}