| |
| 1996 | ||
|---|---|---|
| 5 | Simon Brock: Compile-Time Pointer Reversal. Journal of Functional and Logic Programming 1996(3): (1996) | |
| 1995 | ||
| 4 | Simon Brock, Gerald Ostheimer: Process Semantics of Graph Reduction. CONCUR 1995: 471-485 | |
| 3 | EE | Simon Brock, Gerald Ostheimer: A process semantics for functional programming. Electr. Notes Theor. Comput. Sci. 2: (1995) |
| 2 | EE | Duncan Shand, Simon Brock: Proofs as graphs. Electr. Notes Theor. Comput. Sci. 2: (1995) |
| 1992 | ||
| 1 | Steffen van Bakel, Sjaak Smetsers, Simon Brock: Partial Type Assignment in Left Linear Apllicative Term Rewriting Systems. CAAP 1992: 300-321 | |
| 1 | Steffen van Bakel | [1] |
| 2 | Gerald Ostheimer | [3] [4] |
| 3 | Duncan Shand | [2] |
| 4 | Sjaak Smetsers (J. E. W. Smetsers) | [1] |