共 50 条
- [31] Interfacing Haskell with object-oriented languages [J]. IMPLEMENTATION OF FUNCTIONAL LANGUAGES, 2004, 3145 : 20 - 35
- [32] Correspondence polymorphism for object-oriented languages [J]. ACM SIGPLAN NOTICES, 1999, 34 (10) : 167 - 186
- [36] Session types for object-oriented languages [J]. ECOOP 2006 - OBJECT-ORIENTED PROGRAMMING, PROCEEDINGS, 2006, 4067 : 328 - 352
- [37] SELECTIVE SPECIALIZATION FOR OBJECT-ORIENTED LANGUAGES [J]. SIGPLAN NOTICES, 1995, 30 (06): : 93 - 102
- [38] Contract soundness for object-oriented languages [J]. ACM SIGPLAN NOTICES, 2001, 36 (11) : 1 - 15
- [39] Macro processing in object-oriented languages [J]. TOOLS 28: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES, PROCEEDINGS, 1998, 28 : 113 - 126
- [40] Distributed concurrent object-oriented software [J]. FROM OBJECT-ORIENTATION TO FORMAL METHODS: ESSAYS IN MEMORY OF OLE-JOHAN DAHL, 2004, 2635 : 83 - 95