A Note on Type Checking Linear Functional Languages | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1996

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

линейный

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

ламбда-исчисление

проверка

Стр.:

P.60-63.

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

Bibliogr.: p.63

Источник:

SIGPLAN Notices

Номер:

8

Том:

31

Карточка:

Б2.33, Б3.14.

Syropoulos A..

A Note on Type Checking Linear Functional Languages// SIGPLAN Notices-1996, №8.-Vol. 31.-P.60-63.
Bibliogr.: p.63

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

ACM5 312