| 2001 |
|---|
| 10 | EE | Leila Silva,
Augusto Sampaio,
Geraint Jones:
Serialising Parallel Processes in a Hardware/Software Partitioning Context.
FME 2001: 344-363 |
| 1998 |
|---|
| 9 | EE | Jeremy Gibbons,
Geraint Jones:
The Under-Appreciated Unfold.
ICFP 1998: 273-279 |
| 1997 |
|---|
| 8 | | Richard S. Bird,
Geraint Jones,
Oege de Moor:
More Haste, Less Speed: Lazy Versus Eager Evaluation.
J. Funct. Program. 7(5): 541-547 (1997) |
| 1994 |
|---|
| 7 | | Geraint Jones,
Mary Sheeran:
Designing Arithmetic Circuits by Refinement in Ruby.
Sci. Comput. Program. 22(1-2): 107-135 (1994) |
| 1992 |
|---|
| 6 | | Geraint Jones,
Mary Sheeran:
A Certain Loss of Identity.
Functional Programming 1992: 113-121 |
| 5 | | Geraint Jones,
Mary Sheeran:
Designing Arithmetic Circuits by Refinement in Ruby.
MPC 1992: 208-232 |
| 1991 |
|---|
| 4 | | Geraint Jones:
Getting Your Wires Crossed.
Functional Programming 1991: 191-206 |
| 3 | | Geraint Jones,
Mary Sheeran:
Deriving Bit-Serial Circuits in Ruby.
VLSI 1991: 71-80 |
| 1989 |
|---|
| 2 | | Geraint Jones:
Deriving the Fast Fourier Algorithm by Calculation.
Functional Programming 1989: 80-102 |
| 1 | | Richard S. Bird,
Jeremy Gibbons,
Geraint Jones:
Formal Derivation of a Pattern Matching Algorithm.
Sci. Comput. Program. 12(2): 93-104 (1989) |
