Continuation-based parallel implementation of functional programming languages
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Functional Data Structures as Updatable Objects
IEEE Transactions on Software Engineering
Stacklessness: compiling recursion for a distributed architecture
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
An abstract machine for parallel graph reduction
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Implementation of Speculative Parallelism in Functional Languages
IEEE Transactions on Parallel and Distributed Systems
Parallelism in sequential functional languages
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
A provably time-efficient parallel implementation of full speculation
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Space-efficient scheduling of parallelism with synchronization variables
Proceedings of the ninth annual ACM symposium on Parallel algorithms and architectures
A provably time-efficient parallel implementation of full speculation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Load balancing in a parallel graph reducer
Trends in functional programming
A novel approach to parenting in functional program evaluation
ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16
Pipelined functional tree accesses and updates: scheduling, synchronization, caching and coherence
Journal of Functional Programming
From sequential programs to multi-tier applications by program transformation
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Adding parallelism capabilities to ACL2
ACL2 '06 Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications
Identifying task-level parallelism by functional transformation with side-effect domains
Proceedings of the 47th Annual Southeast Regional Conference
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
List processing primitives for parallel computation
Computer Languages
Trends in Trends in Functional Programming 1999/2000 versus 2007/2008
Higher-Order and Symbolic Computation
Functional video games in CS1 II: from structural recursion to generative and accumulative recursion
TFP'11 Proceedings of the 12th international conference on Trends in Functional Programming
Hi-index | 0.00 |