Build, augment and destroy. Universally

Build, augment and destroy. Universally (2004)

by Neil Ghani , Tarmo Uustalu , Varmo Vene

Venue:	In Asian Symposium on Programming Languages, Proceedings
Citations:	3 - 3 self

Datum	Value	Source
TITLE	Build, augment and destroy. Universally	INFERENCE
AUTHOR NAME	Neil Ghani	SVM HeaderParse 0.2
AUTHOR AFFIL	1 Dept. of Math. and Comp. Sci., University of Leicester,	SVM HeaderParse 0.2
AUTHOR ADDR	University Road, Leicester, LE1 7RH	SVM HeaderParse 0.2
AUTHOR NAME	Tarmo Uustalu	SVM HeaderParse 0.2
AUTHOR AFFIL	1 Dept. of Math. and Comp. Sci., University of Leicester,	SVM HeaderParse 0.2
AUTHOR ADDR	University Road, Leicester, LE1 7RH	SVM HeaderParse 0.2
AUTHOR NAME	Varmo Vene	SVM HeaderParse 0.2
AUTHOR AFFIL	1 Dept. of Math. and Comp. Sci., University of Leicester,	SVM HeaderParse 0.2
AUTHOR ADDR	University Road, Leicester, LE1 7RH	SVM HeaderParse 0.2
ABSTRACT	Abstract. We give a semantic footing to the fold/build syntax of programming with inductive types, covering shortcut deforestation, based on a universal property. Specifically, we give a semantics for inductive types based on limits of algebra structure forgetting functors and show that it is equivalent to the usual initial algebra semantics. We also give a similar semantic account of the augment generalization of build and of the unfold/destroy syntax of coinductive types. 1	SVM HeaderParse 0.2
YEAR	2004	INFERENCE
VENUE	In Asian Symposium on Programming Languages, Proceedings	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	327--347	INFERENCE
CITATIONS	17 found	ParsCit 1.0