Chapter 2: Generic Proofs for Combinator-based Generic Programs.
Saved in:
| Title: | Chapter 2: Generic Proofs for Combinator-based Generic Programs. |
|---|---|
| Authors: | Reig, Fermín1 |
| Source: | Trends in Functional Programming Volume 5; 2006, Vol. 5, p17-32, 16p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
