Faithful Translations between Polyvariant Flows and Polymorphic Types

Вы здесь

Автор:

Amtoft T.

Turbak F.

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

Вид:

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

Год:

2000

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

тип

система

Стр.:

P.26-40.

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

Bibliogr.: p.40

Издательство:

Springer

Источник:

Lecture Notes in Computer Science

Том:

1782

Карточка:

Б2.33, Б2.11.

Amtoft T., Turbak F..

Faithful Translations between Polyvariant Flows and Polymorphic Types: Springer// Lecture Notes in Computer Science-2000.-Vol. 1782.-P.26-40.
Bibliogr.: p.40

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

PAP21 219