A Direct Algorithm for Type Inference in the Rank-2 Fragment of the Second-Order -Calculus | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1994

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

функциональный

программирование

Стр.:

P.196-207.

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

Bibliogr.: p.206-207.

Источник:

Номер:

3

Том:

VII

Карточка:

Б3.14.

Kfoury A. J., Wells J. B..

A Direct Algorithm for Type Inference in the Rank-2 Fragment of the Second-Order -Calculus// LISP Pointers-1994, №3.-Vol. VII.-P.196-207.
Bibliogr.: p.206-207.

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

ACM4 437