Coq avec Classes - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Coq avec Classes

Abstract

We give an introduction to the type class system and show its use through a number of examples.
No file

Dates and versions

hal-00699595 , version 1 (21-05-2012)

Identifiers

  • HAL Id : hal-00699595 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More