 | 2001 |
|---|
| 8 |       | Rob R. Hoogerwoord:
Formality works.
Inf. Process. Lett. 77(2-4): 137-142 (2001) |
| 1996 |
|---|
| 7 |  | Rob R. Hoogerwoord:
Programming by Calculation.
APPIA-GULP-PRODE 1996: 407-426 |
| 1992 |
|---|
| 6 | | Rob R. Hoogerwoord:
A Logarithmic Implementation of Flexible Arrays.
MPC 1992: 191-207 |
| 5 | | Rob R. Hoogerwoord:
A Derivation of Huffman's Algorithm.
MPC 1992: 375-378 |
| 4 | | Rob R. Hoogerwoord:
A Symmetric Set of Efficient List Operations.
J. Funct. Program. 2(4): 505-513 (1992) |
| 1990 |
|---|
| 3 | | Rob R. Hoogerwoord:
A Calculational Derivation of the Casop Algorithm.
Inf. Process. Lett. 36(6): 297-299 (1990) |
| 2 | | Jo C. Ebergen,
Rob R. Hoogerwoord:
A Derivation of a Serial-Parallel Multiplier.
Sci. Comput. Program. 15(2-3): 201-215 (1990) |
| 1986 |
|---|
| 1 | | Rob R. Hoogerwoord:
An Implementation of Mutual Inclusion.
Inf. Process. Lett. 23(2): 77-80 (1986) |
