Login / Signup
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
Published in:
ICFP (2005)
Keyphrases
</>
distributed computation
case study
distributed storage
digital libraries
nearest neighbor
database
database systems