Algebraic Types and Program Transformation (1990)

by Grant Malcolm