Acute: High-level programming language design for distributed computation (2004)

by Peter Sewell, James J. Leifer, Keith Wansbrough, Mair Allen-williams, Pierre Habouzit, Viktor Vafeiadis
Venue:In Proc. ICFP