Build, Augment and Destroy, Universally

  • Neil Ghani
  • Tarmo Uustalu
  • Varmo Vene
Conference paper

DOI: 10.1007/978-3-540-30477-7_22

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3302)
Cite this paper as:
Ghani N., Uustalu T., Vene V. (2004) Build, Augment and Destroy, Universally. In: Chin WN. (eds) Programming Languages and Systems. APLAS 2004. Lecture Notes in Computer Science, vol 3302. Springer, Berlin, Heidelberg


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Neil Ghani
    • 1
  • Tarmo Uustalu
    • 2
  • Varmo Vene
    • 3
  1. 1.Dept. of Math. and Comp. Sci.University of LeicesterLeicester
  2. 2.Institute of CyberneticsTallinn Univ. of TechnologyTallinnEstonia
  3. 3.Dept. of Computer ScienceUniversity of TartuTartuEstonia

Personalised recommendations