Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus

Вы здесь

Автор:

Mogensen T.A. E.

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

Вид:

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

Год:

1995

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

смешанные вычисления

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

Стр.:

P.39-44.

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

Bibliogr.: p.44

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

New York

Издательство:

ACM Press

Источник:

Proc. of the ACM SIGPLAN Symp. on Partial Evaluation and Semantics-Based Program Manipulation

Карточка:

Б3.21.

Mogensen T.A. E..

Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus-New York.: ACM Press// Proc. of the ACM SIGPLAN Symp. on Partial Evaluation and Semantics-Based Program Manipulation, 1995.-P.39-44.
Bibliogr.: p.44

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

ACM5 202