| 1997 |
|---|
| 5 | | Simon Finn,
Michael P. Fourman,
John Longley:
Partial Functions in a Total Setting.
J. Autom. Reasoning 18(1): 85-104 (1997) |
| 1994 |
|---|
| 4 | | Nick Chapman,
Simon Finn,
Michael P. Fourman:
Datatypes in L2.
TPHOLs 1994: 128-143 |
| 1993 |
|---|
| 3 | | Gerry Musgrave,
Simon Finn,
M. D. Francis,
R. Harris,
Roger B. Hughes:
Formal Methods and Their Future.
EUROCAST 1993: 180-189 |
| 1992 |
|---|
| 2 | | Roger B. Hughes,
M. D. Francis,
Simon Finn,
Gerry Musgrave:
Formal Tools in Tri-State Design in Busses.
TPHOLs 1992: 459-475 |
| 1987 |
|---|
| 1 | | Simon Finn:
Hoisting: Lazy Evaluation in a Cold Climate.
TAPSOFT, Vol.2 1987: 155-166 |
