Chapter 2: Generic Proofs for Combinator-based Generic Programs.

Saved in:

Bibliographic Details
Title:	Chapter 2: Generic Proofs for Combinator-based Generic Programs.
Authors:	Reig, Fermín¹
Source:	Trends in Functional Programming Volume 5; 2006, Vol. 5, p17-32, 16p
Database:	Applied Science & Technology Source

Description
ISBN:	9781841501444