Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-00699595
Contributor : Matthieu Sozeau Connect in order to contact the contributor
Submitted on : Monday, May 21, 2012 - 12:14:56 PM
Last modification on : Friday, January 21, 2022 - 3:22:29 AM

Identifiers

  • HAL Id : hal-00699595, version 1

Collections

UNIV-PARIS7 | PPS | CNRS | INRIA | INRIA2 | UNIV-PARIS

Citation

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

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

56

 

Contact                    Legal Notice                    Personal Data