Soft typing with conditional types (1994)

by A Aiken, E Wimmers, T K Lakshman
Venue:In Twenty-First Annual ACM Symposium on Principles of Programming Languages