Вы здесь

Monadic State: Axiomatization and Type Safety

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1997
Стр.: 
P.227-238.
Библиография: 
Bibliogr.: p.238
Источник: 
Номер: 
8
Том: 
32
Карточка: 

Б2.24, Б2.33.

Launchbury J., Sabry A..

Monadic State: Axiomatization and Type Safety// SIGPLAN Notices-1997, №8.-Vol. 32.-P.227-238.
Bibliogr.: p.238

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