| Download |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.16.8985 |
| Source |
http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/efolds.pdf |
| Contributors |
CiteSeerX
|
| Repository |
CiteSeerX - Scientific Literature Digital Library and Search Engine (United States) |
| Keywords |
Nested datatype,
non-uniform datatype,
non-regular datatype,
polymorphic recursion,
fold,
universal property,
functor
|
| Type |
text
|
| Language |
English
|
| Relation |
10.1.1.41.125,
10.1.1.54.6229,
10.1.1.42.1517,
10.1.1.46.3529,
10.1.1.103.6073,
10.1.1.6.5373
|
|