Вы здесь
Second-Order Unification and Type Inference for Church-Style Polymorphism
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1998
Ключевые слова:
Стр.:
P.279-288.
Библиография:
Bibliogr.: p.287-288
Место издания:
Источник:
Карточка:
В2.11, Б2.1.
Schubert A..
Second-Order Unification and Type Inference for Church-Style Polymorphism-New York.// Conf. Record of POPL 98: The 25th ACM SIGPLAN-SIGACT, Symp. on Principles of Programming Languages, 1998.-P.279-288.
Bibliogr.: p.287-288
Таблица в старой библиотеке:
ACM5 519