From high to low: Simulating nondeterminism and state with state

Збережено в:
Бібліографічні деталі
Опубліковано в::Journal of Functional Programming vol. 34 (2024)
Автор: Tang, Wenhao
Інші автори: Schrijvers, Tom
Опубліковано:
Cambridge University Press
Предмети:
Онлайн доступ:Citation/Abstract
Full Text - PDF
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!