First-Class Type Classes
type: Item
instance of: scholarly article
title: First-Class Type Classes
zbMATH Open document ID: 1165.68475
DOI: 10.1007/978-3-540-71067-7_23
author: Matthieu Sozeau
author: Nicolas Oury
published in: Lecture Notes in Computer Science
publication date: 2008-12-04T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 5378187
describes a project that uses: Coq
describes a project that uses: Locales
describes a project that uses: Simula 67
MaRDI profile type: Publication
full work available at URL: 978-3-540-71067-7 23
OpenAlex ID: W1558115254
cites work: Associated types with class
cites work: Q4457452
cites work: A compiled implementation of strong reduction
cites work: Constructive Type Classes in Isabelle
cites work: Theorem Proving in Higher Order Logics
cites work: Q2729056
cites work: Proof theory in computer science. International seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7--12, 2001. Proceedings
cites work: Q2754063
cites work: Subset Coercions in Coq
description: scientific article