Implementing Functional Databases. - Guy Argo; John Hughes 001; Philip W. Trinder; Jon Fairbairn; John Launchbury (DBPL, 1987)

Improving the Three Instruction Machine. - Guy Argo (FPCA, 1989)

Lifetime analysis. - Guy Argo (Functional Programming, 1990)

A New Sharing Mechanism for the TIM. - Guy Argo (Functional Programming, 1991)

Weighting Without Waiting: The Weighted Path Length Tree. - Guy Argo (Comput. J., 1991)

GRIT: Guy's RISC Implementation of the Three Instruction. - Guy Argo (Functional Programming, 1992)