| 1999 |
| 8 | | Kevin Hammond,
Antony J. T. Davie,
Chris Clack:
Implementation of Functional Languages, 10th International Workshop, IFL'98, London, UK, September 9-11, Selected Papers
Springer 1999 |
| 1998 |
| 7 | | Chris Clack,
Kevin Hammond,
Antony J. T. Davie:
Implementation of Functional Languages, 9th International Workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers
Springer 1998 |
| 1997 |
| 6 | EE | Sahalu B. Junaidu,
Antony J. T. Davie,
Kevin Hammond:
Naira: A Parallel² Haskell Compiler.
Implementation of Functional Languages 1997: 214-230 |
| 1995 |
| 5 | | Antony J. T. Davie:
Algebraic Formula Manipulation in a Functional Language: A First Attempt.
Functional Programming 1995: 3 |
| 1991 |
| 4 | | David J. McNally,
Antony J. T. Davie:
Two Models For Integrating Persistence and Lazy Functional Languages.
SIGPLAN Notices 26(5): 43-52 (1991) |
| 1990 |
| 3 | EE | David J. McNally,
Stef Joosten,
Antony J. T. Davie:
Persistent Functional Programming.
POS 1990: 62-73 |
| 1986 |
| 2 | | Ronald Morrison,
Alfred L. Brown,
Peter J. Bailey,
Antony J. T. Davie,
Alan Dearle:
A Persistent Graphics Facility for the ICL PERQ.
Softw., Pract. Exper. 16(4): 351-367 (1986) |
| 1985 |
| 1 | EE | Antony J. T. Davie:
Conditional Declarations and Pattern Matching.
Data Types and Persistence (Appin), Informal Proceedings 1985: 273-275 |