Acute: High-level programming language design for distributed computation

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2005, Pages 15-26

  Sewell, Peter ^a   Leifer, James J ^b   Wansbrough, Keith ^a   Nardelli, Francesco Zappa ^b   Allen Williams, Mair ^a   Habouzit, Pierre ^b   Vafeiadis, Viktor ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

^b INRIA ROCQUENCOURT   (France)

Author keywords

Abstract types; Distributed programming; Marshalling; ML; Modules; Programming languages; Rebinding; Serialisation; Type theory; Version control

Indexed keywords

ABSTRACT TYPES; DISTRIBUTED PROGRAMMING; MARSHALLING; ML; MODULES; REBINDING; SERIALISATION; TYPE THEORY; VERSION CONTROL;

COMPUTER PROGRAMMING LANGUAGES; FUNCTIONAL PROGRAMMING;

TIME SHARING PROGRAMS;

EID: 84876779157     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1086365.1086370     Document Type: Conference Paper

References (32)

1. J. Armstrong, R. Virding, C. Wikstrom, and M. Williams. Concurrent Programming in Erlang. Prentice Hall, 1996. 2nd ed.
2. #. In Proc. ECOOP, LNCS 2374, 2002.
3. G. Bierman, M. Hicks, P. Sewell, G. Stoyle, and K. Wansbrough. Dynamic rebinding for marshalling and update, with destruct-time λ. In Proc. ICFP, 2003.
4. Alex Buckley, Michelle Murray, Susan Eisenbach, and Sophia Drossopoulou. Flexible bytecode for linking in .NET. In Proc. BYTECODE 2005, April 2005.
5. D. Le Botlan, A. Rossberg, C. Schulte, G. Smolka, and G. Tack, 2005. www.ps.uni-sb.de/alice/.
6. L. Cardelli. A language with distributed scope. In Proc. 22nd POPL, pages 286-297, 1995.
7. L. Cardelli and A. D. Gordon. Mobile ambients. In Proc. FoSSaCS, LNCS 1378, 1998.
8. S. Drossopoulou, S. Eisenbach, and D. Wragg. A fragment calculus towards a model of separate compilation, linking and binary compatibility. In Proc. LICS, 1999.
9. Packacking and deploying .Net framework applications (.Net framework tutorials, msdn), 2003.
10. C. Fournet, G. Gonthier, J.-J. Lévy, L. Maranget, and D. Rémy. A calculus of mobile agents. In Proc. 7th CONCUR, LNCS 1119, 1996.
11. Jun Furuse and Pierre Weis. Entrées/sorties de valeurs en Caml. In J. Francophones des Langages Applicatifs, 2000.
12. D. Grossman, G. Morrisett, and S. Zdancewic. Syntactic type abstraction. ACM TOPLAS, 22(6):1037-1080, 2000.
13. R. Harper and M. Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Proc. 21st POPL, 1994.
14. R. Harper and B. C. Pierce. Design issues in advanced module systems, 2005. Chapter in Advanced Topics in Types and Programming Languages, B. C. Pierce, editor.
15. M. Hennessy, J. Rathke, and N. Yoshida. Safedpi: A language for controlling mobile code. In Proc. FOSSACS, LNCS 2987, 2004.
16. R. Harper and C. Stone. A type-theoretic interpretation of standard ML. In Proof, Language and Interaction: Essays in Honour of Robin Milner. 2000.
17. JoCaml. http://pauillac.inria.fr/jocaml/.
18. X. Leroy. Manifest types, modules, and separate compilation. In Proc. 21st POPL, 1994.
19. J. J. Leifer, G. Peskine, P. Sewell, and K. Wansbrough. Global abstraction-safe marshalling with hash types. In Proc. 8th ICFP, 2003.
20. T. Murphy, K. Crary, R. Harper, and F. Pfenning. A symmetric modal lambda calculus for distributed computing. In Proc. LICS, 2004.
21. B. C. Pierce and D. N. Turner. Pict: A programming language based on the pi-calculus. In Proof, Language and Interaction: Essays in Honour of Robin Milner. 2000.
22. J. H. Reppy. Concurrent Programming in ML. Cambridge Univ Press, 1999.
23. A. Rossberg. Generativity and dynamic opacity for abstract types. In Proc. 5th PPDP, August 2003.
24. P. Sewell. Modules, abstract types, and distributed versioning. In Proc. 28th POPL, 2001.
25. M. R. Shinwell. The Fresh Approach: functional programming with names and binders. Technical Report UCAM-CLTR- 618, University of Cambridge, Computer Laboratory, 2005.
26. P. Sewell, J. J. Leifer, K. Wansbrough, M. Allen-Williams, Francesco Z. Nardelli, P. Habouzit, and V. Vafeiadis. Acute: High-level programming language design for distributed computation. design rationale and language definition. Technical Report 605, University of Cambridge Computer Laboratory, October 2004. Also published as INRIA RR-5329. 193pp.
27. P. Sewell, J. J. Leifer, K. Wansbrough, M. Allen-Williams, F. Zappa Nardelli, P. Habouzit, and V. Vafeiadis. Source release of the Acute system, January 2005. Available from http://www.cl.cam.ac.uk/users/pes20/acute/.
28. M. R. Shinwell, A. M. Pitts, and M. J. Gabbay. FreshML: Programming with binders made simple. In Proc. 8th ICFP, pages 263-274, 2003.
29. P. Sewell, P. T. Wojciechowski, and B. C. Pierce. Locationindependent communication for mobile agents: a two-level architecture. In Internet Programming Languages, LNCS 1686, pages 1-31, 1999.
30. B. Thomsen, L. Leth, and T.-M. Kuo. A Facile tutorial. In CONCUR'96, LNCS 1119, 1996.
31. A. Unyapoth and P. Sewell. Nomadic Pict: Correct communication infrastructure for mobile computation. In Proc. POPL, pages 116-127, January 2001.
32. Vesta. http://www.vestasys.org/.