Acute: high-level programming language design for distributed computation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis. Acute: high-level programming language design for distributed computation. In Olivier Danvy, Benjamin C. Pierce, editors, Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005. pages 15-26, ACM, 2005. [doi]

This author has not been identified. Look up 'Peter Sewell' in GoogleThis author has not been identified. Look up 'James J. Leifer' in GoogleThis author has not been identified. Look up 'Keith Wansbrough' in GoogleThis author has not been identified. Look up 'Francesco Zappa Nardelli' in GoogleThis author has not been identified. Look up 'Mair Allen-Williams' in GoogleThis author has not been identified. Look up 'Pierre Habouzit' in GoogleIdentified as Viktor Vafeiadis

runs on WebDSL