Category Theoretic Approach to Data Types (1987)

by T Hagino