Church and State: Taming Effects in Functional Languages Is there a Use for Linear Logic? | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Techn.Univ.Munchen

Вид:

Препринт

Год:

1992

Стр.:

50 p.

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

Номер:

12

Карточка:

Б3.1, В4.43.

Wadler P..

Church and State: Taming Effects in Functional Languages Is there a Use for Linear Logic?-Munchen., 1992.-50 p.-(Препринт Techn.Univ.Munchen №12).

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

PREP2 752