Shapely Types and Shape Polymorphism (1994)

by C. Barry Jay, J.R.B. Cockett
Venue:Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming