302 articles – 345 references  [version française]
HAL: hal-00702455, version 1
Short view  Export this paper
A gentle introduction to type classes and relations in Coq
Castéran P., Sozeau M.
This document presents the main features of type classes and user-defined relations in the Coq proof assistant. Available at http://www.labri.fr/perso/casteran/CoqArt/TypeClassesTut/typeclassestut.pdf (2012) - http://hal.archives-ouvertes.fr/hal-00702455
Publication type: Other publication
Subject: Computer Science/Logic in Computer Science
Title: A gentle introduction to type classes and relations in Coq
Author(s): Pierre Castéran (, http://www.labri.fr/~casteran) 1, Matthieu Sozeau () 2
Laboratory:
1:  Laboratoire Bordelais de Recherche en Informatique (LaBRI)
http://www.labri.fr
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
Domaine Universitaire 351, cours de la Libération 33405 Talence Cedex
France
2:  PI.R2 (INRIA Paris - Rocquencourt)
INRIA – Université Paris VII - Paris Diderot – CNRS : UMR7126
France
Fulltext language: English
Production date: 2012-05-30
Publication date: 2012-05-30
Description: This document presents the main features of type classes and user-defined relations in the Coq proof assistant. Available at http://www.labri.fr/perso/casteran/CoqArt/TypeClassesTut/typeclassestut.pdf
Comment: 32 pages
hal-00702455, version 1
http://hal.archives-ouvertes.fr/hal-00702455
oai:hal.archives-ouvertes.fr:hal-00702455
From: Pierre Castéran <>
Submitted on: Wednesday, 30 May 2012 12:02:25
Updated on: Friday, 1 June 2012 13:45:22