Generic downwards accumulations
A downwards accumulation is a higher-order operation that distributes information downwards through a data structure, from the root towards the leaves. The concept was originally introduced in an ad hoc way for just a couple of kinds of tree. We generalize the concept to an arbitrary regular datatyp...
| Main Author: | |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
Elsevier
2000
|
| _version_ | 1826300812427526144 |
|---|---|
| author | Gibbons, J |
| author_facet | Gibbons, J |
| author_sort | Gibbons, J |
| collection | OXFORD |
| description | A downwards accumulation is a higher-order operation that distributes information downwards through a data structure, from the root towards the leaves. The concept was originally introduced in an ad hoc way for just a couple of kinds of tree. We generalize the concept to an arbitrary regular datatype; the resulting definition is co-inductive. |
| first_indexed | 2024-03-07T05:22:50Z |
| format | Journal article |
| id | oxford-uuid:df843a0b-cd73-4e45-a769-fc67ac5ca33e |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-07T05:22:50Z |
| publishDate | 2000 |
| publisher | Elsevier |
| record_format | dspace |
| spelling | oxford-uuid:df843a0b-cd73-4e45-a769-fc67ac5ca33e2022-03-27T09:39:56ZGeneric downwards accumulationsJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:df843a0b-cd73-4e45-a769-fc67ac5ca33eEnglishSymplectic Elements at OxfordElsevier2000Gibbons, JA downwards accumulation is a higher-order operation that distributes information downwards through a data structure, from the root towards the leaves. The concept was originally introduced in an ad hoc way for just a couple of kinds of tree. We generalize the concept to an arbitrary regular datatype; the resulting definition is co-inductive. |
| spellingShingle | Gibbons, J Generic downwards accumulations |
| title | Generic downwards accumulations |
| title_full | Generic downwards accumulations |
| title_fullStr | Generic downwards accumulations |
| title_full_unstemmed | Generic downwards accumulations |
| title_short | Generic downwards accumulations |
| title_sort | generic downwards accumulations |
| work_keys_str_mv | AT gibbonsj genericdownwardsaccumulations |