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:
J. Funct. Program. (2007)
Keyphrases
</>
distributed computation
user interface
case study
management system
distributed storage
high level programming language