共 50 条
- [21] The case for Enhanced Abstract Data Types PROCEEDINGS OF THE TWENTY-THIRD INTERNATIONAL CONFERENCE ON VERY LARGE DATABASES, 1997, : 66 - 75
- [25] ABSTRACT DATA-TYPES, SUBTYPES AND DATA INDEPENDENCE COMPUTER JOURNAL, 1981, 24 (04): : 308 - 311
- [26] FREE AND BOUND GENERICS - 2 TECHNIQUES FOR ABSTRACT DATA-TYPES IN MODULAR-C SIGPLAN NOTICES, 1984, 19 (03): : 12 - 20
- [27] ABSTRACT-DATA-TYPES AND TYPE THEORY - THEORIES AS TYPES ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1991, 37 (02): : 149 - 166
- [30] Semantic Code Refactoring for Abstract Data Types PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (POPL):