Soft typing with conditional types (1994)

by A Aiken, E Wimmers, T Lakshman
Venue:Proc. of the 21st. ACM Symp. on PoPL