DMCA

Under consideration for publication in J. Functional Programming 1 Acute: High-level programming language design for distributed computation

by Peter Sewell , James J. Leifer , Keith Wansbrough , Mair Allen-williams , Pierre Habouzit , Viktor Vafeiadis