Authors: GUNTER CA GUNTER EL MACQUEEN DB

Citation: Ca. Gunter et al., COMPUTING ML EQUALITY KINDS USING ABSTRACT INTERPRETATION, Information and computation, 107(2), 1993, pp. 303-323