Generic Downwards Accumulations

Generic Downwards Accumulations (2000)

by Jeremy Gibbons

Venue:	Science of Computer Programming
Citations:	17 - 2 self

Datum	Value	Source
TITLE	Polytypic downwards accumulations	INFERENCE
AUTHOR NAME	Jeremy Gibbons	SVM HeaderParse 0.1
AUTHOR AFFIL	School of Computing and Mathematical Sciences,; Oxford Brookes University,	SVM HeaderParse 0.2
AUTHOR ADDR	Gipsy Lane, Headington,; Oxford OX3 0BP, UK.	SVM HeaderParse 0.1
ABSTRACT	Abstract. 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 denition is co-inductive. 1	SVM HeaderParse 0.1
YEAR	1998	INFERENCE
VENUE	Science of Computer Programming	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	200--0	INFERENCE
VOLUME	37	INFERENCE
CITATIONS	23 found	ParsCit 1.0