Вы здесь
A Type-Theoretic Approach to Higher-Order Modules with Sharing
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1994
Стр.:
P.123-137.
Библиография:
Bibliogr.: p.133-137
Место издания:
Издательство:
Источник:
Карточка:
Б3.52, Б2.33.
Harper R., Lillibridge M..
A Type-Theoretic Approach to Higher-Order Modules with Sharing-New York.: ACM Press// Proc. of the POPL 94: 21st ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, 1994.-P.123-137.
Bibliogr.: p.133-137
Таблица в старой библиотеке:
ACM5 295