Chapter 6: Epigram Reloaded: A Standalone Typechecker for ETT.
Saved in:
| Title: | Chapter 6: Epigram Reloaded: A Standalone Typechecker for ETT. |
|---|---|
| Authors: | Chapman, James1, jmc@cs.nott.ac.uk, Altenkirch, Thorsten1, txa@cs.nott.ac.uk, McBride, Conor1, ctm@cs.nott.ac.uk |
| Source: | Trends in Functional Programming Volume 6; 2007, Vol. 6, p79-94, 16p |
| Database: | Applied Science & Technology Source |
| ISBN: | 9781841501765 |
|---|
