| 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] |