Image Representations Using Miranda Laws

Abstract

The applicative language Miranda is used to define various image representations. One particular feature of this language, an algebraic data type with laws, is shown to be very powerful in giving and automatically maintaining properties of these image structures. This enables simple definitions of graphical ideas such as the following: quadtrees which are always fully condensed, self-dividing line lists which produce fractal images, and primitives restricted to certain areas of the screen or to certain orientations.