A graph-based generic type system for object-oriented programs

Wei Ke, Zhiming Liu, Shuling Wang, Liang Zhao. A graph-based generic type system for object-oriented programs. Frontiers of Computer Science in China, 7(1):109-134, 2013. [doi]

Abstract

Abstract is missing.