The weak call-by-value lambda-calculus is reasonable for both time and space

The weak call-by-value lambda-calculus is reasonable for both time and space

Библиографические подробности
Главные авторы: Roth, M, Forster, Y, Kunze, F
Формат: Conference item
Язык:English
Опубликовано: Association for Computing Machinery 2020
Описание
Итог:

Схожие документы