Run-time support for distributed sharing in safe languages
ACM Transactions on Computer Systems (TOCS)
Efficient parallel programming in Poly/ML and Isabelle/ML
Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming
Hi-index | 0.00 |