共 50 条
- [2] Compiling lazy functional programs to Java']Java bytecode SOFTWARE-PRACTICE & EXPERIENCE, 1999, 29 (07): : 617 - 645
- [3] Java']Java as a functional programming language TYPES FOR PROOFS AND PROGRAMS, 2002, 2646 : 279 - 298
- [4] Lazy Composition of Representations in Java']Java SOFTWARE COMPOSITION, PROCEEDINGS, 2009, 5634 : 55 - +
- [5] Compiling lazy functional programs to Java bytecode Software - Practice and Experience, 1999, 29 (07): : 617 - 645
- [6] Reasoning about Functional Programming in Java']Java and C plus COMPANION PROCEEDINGS FOR THE ISSTA/ECOOP 2018 WORKSHOPS, 2018, : 37 - 39
- [8] Build System with Lazy Retrieval for Java']Java Projects FSE'16: PROCEEDINGS OF THE 2016 24TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2016, : 643 - 654