共 50 条
- [2] Featherweight Java']Java: A minimal core calculus for Java']Java and GJ [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2001, 23 (03): : 396 - 450
- [5] Ownership and Immutability in Generic Java']Java [J]. ACM SIGPLAN NOTICES, 2010, 45 (10) : 598 - 617
- [7] A Generic Type System for Featherweight Java']Java [J]. PROCEEDINGS OF THE 23RD ACM INTERNATIONAL WORKSHOP ON FORMAL TECHNIQUES FOR JAVA-LIKE PROGRAMS (FTFJP '21), 2021, : 9 - 15
- [8] Generic Programming in C++ and Java']Java [J]. INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2011, 11 (09): : 60 - 64
- [9] Generic exception handling and the Java']Java monad [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS, 2004, 3116 : 443 - 459
- [10] Specializing Generic Java']Java Data Structures [J]. PROCEEDINGS OF THE 18TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON MANAGED PROGRAMMING LANGUAGES AND RUNTIMES (MPLR '2021), 2021, : 45 - 53