Synthèse de types pour Bulk Synchronous Parallel ML

Frédéric Gava, Frédéric Loulergue. Synthèse de types pour Bulk Synchronous Parallel ML. In Jean-Christophe Filliâtre, editor, Journées francophones des langages applicatifs (JFLA 03), Chamrousse, France, Janvier 2003. Collection Didactique, pages 153-168, INRIA, 2003.

Abstract

Abstract is missing.