type class mechanism

ITP
2010

178views Mathematics» more ITP 2010»

Developing the Algebraic Hierarchy with Type Classes in Coq

14 years 1 months ago

We present a new formalization of the algebraic hierarchy in Coq, exploiting its new type class mechanism to make practical a solution formerly thought infeasible. Our approach add...

Bas Spitters, Eelis van der Weegen

claim paper

Read More »

click to vote

APLAS
2008
ACM

102views Programming Languages» more APLAS 2008»

ML Modules and Haskell Type Classes: A Constructive Comparison

14 years 1 months ago

Download www.cse.unsw.edu

Researchers repeatedly observed that the module system of ML and the type class mechanism of Haskell are related. So far, this relationship has received little formal investigation...

Stefan Wehr, Manuel M. T. Chakravarty

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers