2000 character limit reached
Partial Cartesian Graph Product (1805.07155v2)
Published 18 May 2018 in cs.PL and math.CO
Abstract: In this paper we define a new product-like binary operation on directed graphs, and we discuss some of its properties. We also briefly discuss its application in constructing the subtyping relation in generic nominally-typed object-oriented programming languages.