Вы здесь
Deriving Algorithms from Type Inference Systems: Application to Strictness Analysis
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1994
Ключевые слова:
Стр.:
P.202-212.
Библиография:
Bibliogr.: p.210
Место издания:
Издательство:
Источник:
Карточка:
Б2.33, Б3.2.
Hankin C., Le Metayer D..
Deriving Algorithms from Type Inference Systems: Application to Strictness Analysis-New York.: ACM Press// Proc. of the POPL 94: 21st ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, 1994.-P.202-212.
Bibliogr.: p.210
Таблица в старой библиотеке:
ACM5 299