Alan J. Demers James E. Donahue Data Types, Parameters, and Type Checking. 12-23 1980 conf/popl/1980 POPL db/conf/popl/popl80.html#DemersD80 https://doi.org/10.1145/567446.567448