The Design and Implementation of Glasgow Distributed Haskell. - Robert F. Pointon; Philip W. Trinder; Hans-Wolfgang Loidl (IFL, 2000)

Runtime system level fault tolerance for a distributed functional language. - Philip W. Trinder; Robert F. Pointon; Hans-Wolfgang Loidl (Scottish Functional Programming Workshop, 2000)

Functional Vs Object-Oriented Distributed Languages. - Robert F. Pointon; Steffen Priebe; Hans-Wolfgang Loidl; Rita Loogen; Philip W. Trinder (EUROCAST, 2001)

Implementing Declarative Parallel Bottom-Avoiding Choice. - André Rauber Du Bois; Robert F. Pointon; Hans-Wolfgang Loidl; Philip W. Trinder (SBAC-PAD, 2002)

Parallel and Distributed Haskells. - Philip W. Trinder; Hans-Wolfgang Loidl; Robert F. Pointon (J. Funct. Program., 2002)

The Embounded project (project start paper). - Kevin Hammond; Roy Dyckhoff; Christian Ferdinand; Reinhold Heckmann; Martin Hofmann 001; Steffen Jost; Hans-Wolfgang Loidl; Greg Michaelson; Robert F. Pointon; Norman Scaife; Jocelyn Sérot; Andy Wallace (Trends in Functional Programming, 2005)

Towards Formally Verifiable WCET Analysis for a Functional Programming Language. - Kevin Hammond; Christian Ferdinand; Reinhold Heckmann; Roy Dyckhoff; Martin Hofmann 001; Steffen Jost; Hans-Wolfgang Loidl; Greg Michaelson; Robert F. Pointon; Norman Scaife; Jocelyn Sérot; Andy Wallace (WCET, 2006)

Automatic Amortised Worst-Case Execution Time Analysis. - Christoph A. Herrmann; Armelle Bonenfant; Kevin Hammond; Steffen Jost; Hans-Wolfgang Loidl; Robert F. Pointon (WCET, 2007)

Preserving coordination properties when transforming concurrent system components. - Gudmund Grov; Robert F. Pointon; Greg Michaelson; Andrew Ireland (SAC, 2008)