Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML

Вы здесь

Автор:

Количество экземпляров:

Вид:

Статья из сборника или журнала

Год:

1999

Ключевые слова:

Стр.:

P.160-171.

Библиография:

Bibliogr.: p.170-171

Источник:

Номер:

Том:

Карточка:

Б2.33, Б3.22.

Ohori A., Yoshida N..

Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML// SIGPLAN Notices-1999, №9.-Vol. 34.-P.160-171.
Bibliogr.: p.170-171

Таблица в старой библиотеке:

ACM6 131