Locality, causality and continuations
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
The semantics of Scheme with future
Proceedings of the first ACM SIGPLAN international conference on Functional programming
A provably time-efficient parallel implementation of full speculation
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A provably time-efficient parallel implementation of full speculation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Asynchronous exceptions in Haskell
Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
A Syntactic Theory of Dynamic Binding
Higher-Order and Symbolic Computation
Parallel functional programming on recursively defined data via data-parallel recursion
Journal of Functional Programming
BaLinda Lisp: Design and implementation
Computer Languages
Trends in Trends in Functional Programming 1999/2000 versus 2007/2008
Higher-Order and Symbolic Computation
Hi-index | 0.00 |