 |
PREUVES, PROGRAMMES et SYSTÈMES |  |
|
PREUVES, PROGRAMMES et SYSTÈMES | |
| HAL : hal-00702455, version 1 |
| Fiche détaillée |  Récupérer au format |
 |
|
|
| A gentle introduction to type classes and relations in Coq |
|
|
| Pierre Castéran 1Matthieu Sozeau 2 |
|
|
| (30/05/2012) |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire Bordelais de Recherche en Informatique (LaBRI) |
|
|
|
CNRS : UMR5800 – Université Sciences et Technologies - Bordeaux I – École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) – Université Victor Segalen - Bordeaux II |
|
|
| 2 : | PI.R2 (INRIA Paris - Rocquencourt) |
|
|
|
INRIA – Université Paris VII - Paris Diderot – CNRS : UMR7126 |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Logique en informatique |
| hal-00702455, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00702455 | |
| oai:hal.archives-ouvertes.fr:hal-00702455 | |
| Contributeur : Pierre Castéran | |
| Soumis le : Mercredi 30 Mai 2012, 12:02:25 | |
| Dernière modification le : Vendredi 1 Juin 2012, 13:45:22 | |
