F. Gava : "Synthèse de types pour Bulk Synchronous Parallel ML" Previous Index