The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
An indeterminate constructor for applicative programming
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Toward an algebra of nondeterministic programs
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Explicit parallelism in LISP-like languages
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Models, languages, and heuristics for distributed computing
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
Concurrent applicative implementations of nondeterministic algorithms
Computer Languages
| Hi-index | 0.00 |