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). 211-226 2005 conf/sfp/2005 Trends in Functional Programming db/conf/sfp/tfp2005.html#SannellaHAGSBLMMS05