共 50 条
- [36] AN EXPERIENCE IN IMPLEMENTING ABSTRACT DATA-TYPES SOFTWARE-PRACTICE & EXPERIENCE, 1981, 11 (03): : 315 - 320
- [37] Programming with Binders and Indexed Data-Types POPL 12: PROCEEDINGS OF THE 39TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2012, : 413 - 424