Coq avec Classes
Résumé
We give an introduction to the type class system and show its use through a number of examples.
Communication Dans Un Congrès
Année : 2012
Matthieu Sozeau : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00699595
Soumis le : lundi 21 mai 2012-12:14:56
Dernière modification le : vendredi 24 mars 2023-14:52:55
Dates et versions
Identifiants
- HAL Id : hal-00699595 , version 1
Citer
Matthieu Sozeau. Coq avec Classes. JFLA - Journées Françaises des Langages Applicatifs, Feb 2012, Carnac, France. ⟨hal-00699595⟩
Collections
59
Consultations
0
Téléchargements