Acute: High-level programming language design for distributed computation. - PETER SEWELL; JAMES J. LEIFER; KEITH WANSBROUGH; FRANCESCO ZAPPA NARDELLI; MAIR ALLEN-WILLIAMS; PIERRE HABOUZIT; VIKTOR VAFEIADIS (Journal of Functional Programming, 2007)