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

by P Sewell, J Leifer, K Wansbrough, F Zappa Nardelli, M Allen-Willians, P Habouzit, V Vafeiadis
Venue:J. Funct. Programming