Soft Typing with Conditional Types (1994)

by Alexander Aiken, Edward Wimmers, T K Lakshman
Venue:In Principles of Programming Languages (POPL