Skip to Content.

Sympa Menu

coq-club - [Coq-Club] What are type classes?

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] What are type classes?

chronological Thread

From: Victor Porton <porton AT narod.ru>
To: coq-club AT inria.fr
Subject: [Coq-Club] What are type classes?
Date: Wed, 02 Nov 2011 01:38:24 +0400
Envelope-from: porton AT yandex.ru

What is the difference between type classes and dependent records?

--
Victor Porton - http://portonvictor.org

[Coq-Club] What are type classes?, Victor Porton
- Re: [Coq-Club] What are type classes?, Matthieu Sozeau
- Re: [Coq-Club] What are type classes?, Jelle Herold

Archive powered by MhonArc 2.6.16.