Type derivation graphs: a way to visualize the type building possibilities of programming languages

Josef Grosch. Type derivation graphs: a way to visualize the type building possibilities of programming languages. SIGPLAN Notices, 18(12):60-68, 1983. [doi]

Abstract

Abstract is missing.