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. Journal of Functional Programming, 17(4-5):547-612, 2007. [doi]
Abstract is missing.