1. [1] Aiken, A., Wimmers, E.L. and Lakshman, T.K.: Soft typing with conditional types, Proc. 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '94, pp.163-173 (1994).
2. Subtyping recursive types
3. Intersection and union types
4. [4] Barendregt, H., Coppo, M. and Dezani-Ciancaglini, M.: A Filter Lambda Model and the Completeness of Type Assignment, J. Symbolic Logic, Vol.48, No.4, pp.931-940 (1983).
5. [5] Cartwright, R. and Fagan, M.: Soft typing, Proc. SIGPLAN '91 Conference on Programming Language Design and Implementation, pp.278-292 (1991).