Shapely Types and Shape Polymorphism.

C. Barry Jay, J. Robin B. Cockett

Browse the full ESOP paper archive.