Parallel programming with control abstraction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Locality, causality and continuations
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
Composing first-class transactions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Trends in Trends in Functional Programming 1999/2000 versus 2007/2008
Higher-Order and Symbolic Computation
A parallelized theorem prover for a logic with parallel execution
ITP'13 Proceedings of the 4th international conference on Interactive Theorem Proving
| Hi-index | 0.00 |