Soft typing with conditional types. (1994)

by A Aiken, E L Wimmers, T K Lakshman
Venue:In Proceedings of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,