Cockett �1994�. Shapely types and shape polymorphism (0)

by C Barry Jay, J R B
Venue:LNCS 788: Programming Languages and Systems|ESOP '94