Cayenne - a language with dependent types | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1999

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

проектирование

Стр.:

P.239-250

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

Bibliogr.: p.248-249

Источник:

SIGPLAN Notices

Номер:

1

Том:

34

Карточка:

Б2.33, Б3.14.

Augustsson L..

Cayenne - a language with dependent types// SIGPLAN Notices-1999, №1.-Vol. 34.-P.239-250
Bibliogr.: p.248-249

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

ACM6 65