A Modular Implementation of Data Structures in Bulk-Synchronous Parallel ML