BibTeX
@MISC{Mcbride_generalterms,
author = {Conor Mcbride},
title = {General Terms},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This is the text of the abstract.
Citations
| 43 | Containers - constructing strictly positive types, Theoretical Computer Science 342 (2005) 3–27, applied Semantics: Selected Topics - Abott, Altenkirch, et al. |
| 14 | Abstract Value Constructors - Aitken, Reppy - 1992 |
