Josef Grosch. Type derivation graphs: a way to visualize the type building possibilities of programming languages. SIGPLAN Notices, 18(12):60-68, 1983. [doi]
@article{Grosch83-0, title = {Type derivation graphs: a way to visualize the type building possibilities of programming languages}, author = {Josef Grosch}, year = {1983}, doi = {10.1145/988193.988200}, url = {http://doi.acm.org/10.1145/988193.988200}, researchr = {https://researchr.org/publication/Grosch83-0}, cites = {0}, citedby = {0}, journal = {SIGPLAN Notices}, volume = {18}, number = {12}, pages = {60-68}, }