Inverting Functions as Folds

  • Shin-Cheng Mu
  • Richard Bird
Conference paper

DOI: 10.1007/3-540-45442-X_13

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2386)
Cite this paper as:
Mu SC., Bird R. (2002) Inverting Functions as Folds. In: Boiten E.A., Möller B. (eds) Mathematics of Program Construction. MPC 2002. Lecture Notes in Computer Science, vol 2386. Springer, Berlin, Heidelberg

Abstract

This paper is devoted to the proof and applications of a theorem giving conditions under which the inverse of a partial function can be expressed as a relational hylomorphism. The theorem is a generalisation of a previous result, due to Bird and de Moor, that gave conditions under which a total function can be expressed a relational fold. The theorem is illustrated with three problems, all dealing with constructing trees with various properties.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Shin-Cheng Mu
    • 1
  • Richard Bird
    • 1
  1. 1.Programming Research GroupOxford UniversityUK

Personalised recommendations