Chapter 1: Proof Support for General Type Classes.

Saved in:

Bibliographic Details
Title:	Chapter 1: Proof Support for General Type Classes.
Authors:	Van Kesteren, Ron¹, rkestere@sci.ru.nl, Van Eekelen, Marko¹, M.vanEekelen@niii.ru.nl, De Mol, Maarten¹, M.deMol@niii.ru.nl
Source:	Trends in Functional Programming Volume 5; 2006, Vol. 5, p1-16, 16p
Database:	Applied Science & Technology Source

Description
ISBN:	9781841501444