A gentle introduction to type classes and relations in Coq

Pierre Castéran 1 Matthieu Sozeau 2
2 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
Document type :
Other publications
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00702455
Contributor : Pierre Castéran <>
Submitted on : Wednesday, May 30, 2012 - 12:02:25 PM
Last modification on : Friday, January 4, 2019 - 5:33:25 PM

Identifiers

  • HAL Id : hal-00702455, version 1

Citation

Pierre Castéran, Matthieu Sozeau. A gentle introduction to type classes and relations in Coq. 2012. ⟨hal-00702455⟩

Share

Metrics

Record views

303