A Polymorphic Type System for Bulk Synchronous Parallel ML.

Frdric Gava, Frdric Loulergue

Browse the full PACT paper archive.