共 50 条
- [2] Recursive types and pattern-matching in Java']Java GENERATIVE AND COMPONENT-BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2000, 1799 : 147 - 164
- [6] Verifying Higher-Order Functional Programs with Pattern-Matching Algebraic Data Types POPL 11: PROCEEDINGS OF THE 38TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2011, : 587 - 598