Another Look at Parameterization Using Algebras with Subsorts.

Axel Poign

Browse the full MFCS paper archive.