| |
| 2008 | ||
|---|---|---|
| 6 | EE | David R. Lester: Real Number Calculations and Theorem Proving. TPHOLs 2008: 215-229 |
| 1993 | ||
| 5 | EE | David R. Lester, Geoffrey L. Burn: An Executable Specification of the HDG-Machine. International Journal of High Speed Computing 5(3): 327-378 (1993) |
| 1991 | ||
| 4 | David R. Lester: Vuillemin's Exact Real Arithmetic. Functional Programming 1991: 225-238 | |
| 3 | Hugh Kingdon, David R. Lester, Geoffrey L. Burn: The HDG-Machine: A Highly Distributed Graph-Reducer for a Transputer Network. Comput. J. 34(4): 290-301 (1991) | |
| 1989 | ||
| 2 | EE | David R. Lester: Stacklessness: Compiling Recursion for a Distributed Architecture. FPCA 1989: 116-128 |
| 1 | David R. Lester: An Efficient Distributed Collection Algorithm. PARLE (1) 1989: 207-223 | |
| 1 | Geoffrey L. Burn | [3] [5] |
| 2 | Hugh Kingdon | [3] |