DaftarIsitemplate |
Call Number |
SEM-198 |
Title |
A type-theoretic approach to higher-order modules with sharing,Hal 123-137 |
Author |
Robert Harper; Mark Lillibridge; |
Publisher |
Proceedings 21st ACM SIGPLAN-SIGACT Symposium on principles of programming languages-portland,Oregon,January 17-21,1994 |
Subject |
Location |