 |
PREUVES, PROGRAMMES et SYSTÈMES |  |
|
PREUVES, PROGRAMMES et SYSTÈMES | |
| HAL : hal-00319700, version 1 |
| Fiche détaillée |  Récupérer au format |
 |
| International Symposium on Practical Aspects of Declarative Languages PADL 08, San Francisco : États-Unis (2008) |
|
|
|
|
| Certified development tools implementation in objective caml. |
|
|
| Bruno PaganoOlivier Andrieu |
|
|
| (10/01/2008) |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'Informatique de Paris 6 (LIP6) |
|
|
|
CNRS : UMR7606 – Université Pierre et Marie Curie [UPMC] - Paris VI |
|
|
| 2 : | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Langage de programmation |
| hal-00319700, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00319700 | |
| oai:hal.archives-ouvertes.fr:hal-00319700 | |
| Contributeur : Emmanuel Chailloux | |
| Soumis le : Mardi 9 Septembre 2008, 10:37:02 | |
| Dernière modification le : Lundi 14 Novembre 2011, 14:42:48 | |
