共 50 条
- [23] A BEHAVIORAL NOTION OF SUBTYPING ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (06): : 1811 - 1841
- [29] Subtyping dependent types 11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, : 86 - 97
- [30] SUBTYPING RECURSIVE TYPES ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1993, 15 (04): : 575 - 631