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

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