Algebraic Data Types and Program Transformation (1990)

by G Malcolm