Communication Dans Un Congrès
Année : 2008
Emmanuel Chailloux : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00319700
Soumis le : mardi 9 septembre 2008-10:37:02
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
Identifiants
- HAL Id : hal-00319700 , version 1
Citer
Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, et al.. Certified development tools implementation in objective caml.. International Symposium on Practical Aspects of Declarative Languages PADL 08, Jan 2008, San Francisco, United States. pp.1--15. ⟨hal-00319700⟩
Collections
64
Consultations
0
Téléchargements