Functional Parallel Programming with Revised Bulk Synchronous Parallel ML | IEEE Conference Publication | IEEE Xplore