A Type System Equivalent to Flow Analysis (1995)

by Jens Palsberg , Patrick O'Keefe
Venue:ACM Transactions on Programming Languages and Systems
Citations:87 - 16 self