Algebraic approaches to nondeterminism—an overview
ACM Computing Surveys (CSUR)
A non-deterministic call-by-need lambda calculus
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
A functorial semantics for multi-algebras and partial algebras, with applications to syntax
Theoretical Computer Science
Nondeterministic call by need is neither lazy nor by name
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Hi-index | 0.00 |