共 50 条
- [1] Towards an operational semantics for a parallel non-strict functional language [J]. IMPLEMENTATION OF FUNCTIONAL LANGUAGES, 1999, 1595 : 54 - 71
- [2] Checking equivalence in a non-strict language [J]. Proceedings of the ACM on Programming Languages, 2022, 6 (OOPSLA2):
- [3] Checking Equivalence in a Non-strict Language [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (OOPSLA):
- [5] Non-Strict Execution in Parallel and Distributed Computing [J]. International Journal of Parallel Programming, 2003, 31 : 77 - 105
- [7] Implementation of a non-strict functional programming language V on a threaded architecture EARTH [J]. INNOVATIVE ARCHITECTURE FOR FUTURE GENERATION HIGH-PERFORMANCE PROCESSORS AND SYSTEMS, 1999, : 95 - 102
- [8] Non-strict evaluation of the FFT algorithm in distributed memory systems [J]. RECENT ADVANCES IN PARALLEL VIRTUAL MACHINE AND MESSAGE PASSING INTERFACE, 2003, 2840 : 188 - 195
- [9] The design and implementation of Glasgow distributed Haskell [J]. IMPLEMENTATION OF FUNCTIONAL LANGUAGES, 2001, 2011 : 53 - 70
- [10] Transformation of non-strict structure-data access into scheduled strict access in non-strict dataflow languages [J]. PARALLEL AND DISTRIBUTED COMPUTING FOR SYMBOLIC AND IRREGULAR APPLICATIONS, 2000, : 288 - 310