Coq avec Classes

Matthieu Sozeau 1
1 PI.R2 - Design, study and implementation of languages for proofs and programs
PPS - Preuves, Programmes et Systèmes, Inria Paris-Rocquencourt, UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique : UMR7126
Abstract : We give an introduction to the type class system and show its use through a number of examples.
Type de document :
Communication dans un congrès
JFLA - Journées Françaises des Langages Applicatifs, Feb 2012, Carnac, France. 2012
Liste complète des métadonnées
https://hal.inria.fr/hal-00699595
Contributeur : Matthieu Sozeau <>
Soumis le : lundi 21 mai 2012 - 12:14:56
Dernière modification le : jeudi 15 novembre 2018 - 20:27:28

Identifiants

  • HAL Id : hal-00699595, version 1

Collections

INRIA | PPS | USPC | INRIA-ROCQ

Citation

Matthieu Sozeau. Coq avec Classes. JFLA - Journées Françaises des Langages Applicatifs, Feb 2012, Carnac, France. 2012. 〈hal-00699595〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

142

Contact


archive-ouverte@inria.fr