Gilles Kahn;David B. MacQueen;Gordon Plotkin
-;-;-
A type-theoretic approach to higher-order modules with sharing
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages