The use of types in designing unification algorithms: two case studies.

Serdar Erbatur, Santiago Escobar, Paliath Narendran

Browse the full CADE paper archive.