| An Initial-Algebra Approach to (1996) | |||||||||||||||
Abstract | |||||||||||||||
| The initial-algebra approach to modelling datatypes consists of giving constructors for building larger objects of that type from smaller ones, and laws identifying different ways of constructing the same object. | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||