Xavier Leroy. An overview of Types in Compilation. TIC 1998: workshop Types in Compilation, Mar 1998, Kyoto, Japan. Springer, 1473, pp.1-8, LNCS. <10.1007/BFb0055509>.
HAL Archives-Ouvertes,
Xavier Leroy 1 Détails 1 CRISTAL - Typed programming, modularity and compilation Inria Paris-Rocquencourt Xavier Leroy 1 Auteur…