G. R. Malcolm

• Algebraic data types and program transformation