Coq avec Classes
Abstract
We give an introduction to the type class system and show its use through a number of examples.
INRIA.HAL.SCIENCE Web Portal Publications, softwares... of Inria fellow Academics |
Matthieu Sozeau : Connect in order to contact the contributor
https://inria.hal.science/hal-00699595
Submitted on : Monday, May 21, 2012-12:14:56 PM
Last modification on : Friday, March 24, 2023-2:52:55 PM