2001 | ||
---|---|---|
2 | Andrew J. Bennett, Paul H. J. Kelly, Ross A. Paterson: Pipelined functional tree accesses and updates: scheduling, synchronization, caching and coherence. J. Funct. Program. 11(4): 359-393 (2001) | |
1992 | ||
1 | Anthony S. K. Cheng, Ross A. Paterson: An Implementation for a Higher Level Logic Programming Language. FGCS 1992: 825-832 |
1 | Andrew J. Bennett | [2] |
2 | Anthony S. K. Cheng | [1] |
3 | Paul H. J. Kelly | [2] |