OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization

Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis. OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization. In Jan Grabowski, Pierre Lescanne, Wolfgang Wechler, editors, Algebraic and Logic Programming, International Workshop, Gaussig, GDR, November 14-18, 1988, Proceedings. Volume 343 of Lecture Notes in Computer Science, pages 41-52, Springer, 1988.

Abstract

Abstract is missing.