Shapely types and shape polymorphism (1994)

by C Barry Jay, J Robin B Cockett
Venue:In ESOP ’94: Proceedings of the 5th European Symposium on Programming