共 50 条
- [31] Lazy Call-By-Value Evaluation ICFP'07 PROCEEDINGS OF THE 2007 ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, 2007, : 265 - 276
- [32] Lazy Evaluation of Transactions in Database Systems SIGMOD'14: PROCEEDINGS OF THE 2014 ACM SIGMOD INTERNATIONAL CONFERENCE ON MANAGEMENT OF DATA, 2014, : 15 - 26
- [33] SUBLIST ASSERTIONS FOR LISTLESS AND LAZY EVALUATION COMPUTER LANGUAGES, 1992, 17 (02): : 133 - 146
- [35] The lazy evaluation of infinitesimal logic expressions PLC '05: Proceedings of the 2005 International Conference on Programming Languages and Compilers, 2005, : 3 - 7
- [36] A TECHNIQUE FOR DOING LAZY EVALUATION IN LOGIC JOURNAL OF LOGIC PROGRAMMING, 1986, 3 (03): : 259 - 276
- [38] An abstract machine for parallel lazy evaluation TRENDS IN FUNCTIONAL PROGRAMMING, 2000, : 153 - 161