A Translator from C to a Lambda-Calculus Representation | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1996

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

транслятор

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

Стр.:

P.28-31

Источник:

SIGPLAN Notices

Номер:

4

Том:

31

Карточка:

Б3.22.

Karr M..

A Translator from C to a Lambda-Calculus Representation// SIGPLAN Notices-1996, №4.-Vol. 31.-P.28-31

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

ACM4 972