共 50 条
- [3] Types and Semantics for Extensible Data Types PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2023, 2023, 14405 : 46 - 66
- [4] A logic for abstract data types as existential types TYPED LAMBDA CALCULI AND APPLICATIONS, 1999, 1581 : 310 - 324
- [7] Compositional Data Types WGP 11: PROCEEDINGS OF THE 2011 ACM SIGPLAN WORKSHOP ON GENERIC PROGRAMMING, 2011, : 83 - 94
- [9] Fibred Data Types 2013 28TH ANNUAL IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2013, : 243 - 252
- [10] DATA TYPES AND ABSTRACTION PROCEEDINGS OF THE 12TH WSEAS INTERNATIONAL CONFERENCE ON COMPUTERS , PTS 1-3: NEW ASPECTS OF COMPUTERS, 2008, : 229 - +