Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics

Joseph A. Goguen, José Meseguer. Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics. In Research Directions in Object-Oriented Programming. pages 417-478, 1987.

Abstract

Abstract is missing.