Programming with Equalitiers, Subsorts, Overloading and Parametrization in OBJ

Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis. Programming with Equalitiers, Subsorts, Overloading and Parametrization in OBJ. Journal of Logic and Algebraic Programming, 12(3&4):257-279, 1992.

Abstract

Abstract is missing.