Categorical data types in parametric polymorphism (1994)

by R Hasegawa
Venue:Mathematical Structures in Computer Science