| 2007 |
|---|
| 8 | EE | Clare E. Martin,
Sharon A. Curtis,
Ingrid Rewitzky:
Modelling angelic and demonic nondeterminism with multirelations.
Sci. Comput. Program. 65(2): 140-158 (2007) |
| 2006 |
|---|
| 7 | EE | Clare E. Martin,
Sharon A. Curtis:
Nondeterministic Folds.
MPC 2006: 274-298 |
| 2004 |
|---|
| 6 | EE | Clare E. Martin,
Sharon A. Curtis,
Ingrid Rewitzky:
Modelling Nondeterminism.
MPC 2004: 228-251 |
| 5 | EE | Clare E. Martin,
Jeremy Gibbons,
Ian Bayley:
Disciplined, efficient, generalised folds for nested datatypes.
Formal Asp. Comput. 16(1): 19-35 (2004) |
| 2001 |
|---|
| 4 | EE | Clare E. Martin,
Jeremy Gibbons:
On the semantics of nested datatypes.
Inf. Process. Lett. 80(5): 233-238 (2001) |
| 1995 |
|---|
| 3 | | Clare E. Martin:
Towards a Calculus of Predicate Transformers.
MFCS 1995: 489-498 |
| 1994 |
|---|
| 2 | | Paul H. B. Gardiner,
Clare E. Martin,
Oege de Moor:
An Algebraic Construction of Predicate Transformers.
Sci. Comput. Program. 22(1-2): 21-44 (1994) |
| 1992 |
|---|
| 1 | | Paul H. B. Gardiner,
Clare E. Martin,
Oege de Moor:
An Algebraic Construction of Predicate Transformers.
MPC 1992: 100-121 |
