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...

Ful tanımlama

Detaylı Bibliyografya
Yazar: Gibbons, J
Materyal Türü: Journal article
Dil:English
Baskı/Yayın Bilgisi: Elsevier 2000