Glossary

ADT

Algebraic data type.

catamorphism

A structural transformation.

tag

The run-time type information of an object.

Extending and Integrating