Developing the Algebraic Hierarchy with Type Classes in Coq - Sciweavers

47

click to vote

more ITP 2010 ...

www.xs4all.nl

Tweet