2007: Peter Sewell, James J. Leifer, Keith Wansbrough,
Francesco Zappa Nardelli, Mair Allen-Williams, Pierre
Habouzit, Viktor Vafeiadis (2007). Acute: High-level
programming language design for distributed computation.
J. Funct. Program. 17(4-5): 547-612[PDF]
Overview: This work is exploring the design space of high-level
languages for distributed computation, focussing on typing, naming,
and version change. We have designed, formally specified and
implemented an experimental language, Acute.