Peter Sewell James J. Leifer Keith Wansbrough Francesco Zappa Nardelli Mair Allen-Williams Pierre Habouzit Viktor Vafeiadis Acute: high-level programming language design for distributed computation. 15-26 2005 conf/icfp/2005 ICFP http://doi.acm.org/10.1145/1086365.1086370 db/conf/icfp/icfp2005.html#SewellLWNAHV05