| 2005 |
|---|
| 5 | EE | David Aspinall,
Kenneth MacKenzie:
Mobile Resource Guarantees and Policies.
CASSIS 2005: 16-36 |
| 4 | | Donald Sannella,
Martin Hofmann,
David Aspinall,
Stephen Gilmore,
Ian Stark,
Lennart Beringer,
Hans-Wolfgang Loidl,
Kenneth MacKenzie,
Alberto Momigliano,
Olha Shkaravska:
Mobile Resource Guarantees (project evaluation paper).
Trends in Functional Programming 2005: 211-226 |
| 2003 |
|---|
| 3 | | Kenneth MacKenzie,
Nicholas Wolverson:
Camelot and Grail: resource-aware functional programming for the JVM.
Trends in Functional Programming 2003: 29-46 |
| 2 | | Nicholas Wolverson,
Kenneth MacKenzie:
O'Camelot: adding objects to a resource-aware functional language.
Trends in Functional Programming 2003: 47-62 |
| 1 | EE | Lennart Beringer,
Kenneth MacKenzie,
Ian Stark:
Grail: a functional form for imperative mobile code.
Electr. Notes Theor. Comput. Sci. 85(1): (2003) |
