An Algebraic Characterization of Typability in ML with Subtyping | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1996

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

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

полиморфизм

Стр.:

P.1-15.

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

Bibliogr.: p.15

Место издания:

Источник:

Workshop Concurrency, Specification & Programming

Карточка:

Б2.33, Б3.14.

Benke M..

An Algebraic Characterization of Typability in ML with Subtyping-Berlin.// Workshop Concurrency, Specification & Programming, 1996.-P.1-15.
Bibliogr.: p.15

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

PAP20 708