An expressive language of signatures.

Norman Ramsey, Kathleen Fisher, Paul Govereau

Browse the full ICFP paper archive.