MULTILISP: a language for concurrent symbolic computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Algorithmic skeletons: structured management of parallel computation
Algorithmic skeletons: structured management of parallel computation
Non-determinism in functional languages
The Computer Journal - Special issue on formal methods: part 1
Partial evaluation and automatic program generation
Partial evaluation and automatic program generation
A para-functional programming interface for a parallel computer algebra package
Journal of Symbolic Computation - Special issue on parallel symbolic computation
Algorithm + strategy = parallelism
Journal of Functional Programming
| Hi-index | 0.00 |