$. Id, 18:25 leifer Exp $ Time-stamp: <2004/10/12 08:14:29 GMT leifer> 21 Library interfaces The following libraries are semi-automatically imported from OCaml ? see the OCaml documentation for their semantics . For the moment, for historical reasons, 2004.

J. Armstrong, R. Virding, C. Wikstrom, and M. Williams, Concurrent Programming in Erlang, 1996.

L. [. Benton, C. Cardelli, and . Fournet, Modern concurrency abstractions for C, Proc. ECOOP, LNCS 2374, 2002.

]. G. Bhs-+-03, M. Bierman, P. Hicks, G. Sewell, K. Stoyle et al., Dynamic rebinding for marshalling and update, with destruct-time ?, Proc. ICFP, 2003.

G. Boudol, ULM: A Core Programming Model for Global Computing, 2003.
DOI : 10.1007/978-3-540-24725-8_17

]. L. Car95 and . Cardelli, A language with distributed scope, Proc. 22nd POPL, pp.286-297, 1995.

S. [. Drossopoulou, D. Eisenbach, and . Wragg, A fragment calculus-towards a model of separate compilation, linking and binary compatibility, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158), pp.147-156, 1999.
DOI : 10.1109/LICS.1999.782606

. Fgl-+-96-]-c, G. Fournet, J. Gonthier, L. Lévy, D. Maranget et al., A calculus of mobile agents, Proc. 7th CONCUR, 1996.

D. Grossman, G. Morrisett, and S. Zdancewic, Syntactic type abstraction, ACM Transactions on Programming Languages and Systems, vol.22, issue.6, pp.1037-1080, 2000.
DOI : 10.1145/371880.371887

M. [. Harper and . Lillibridge, A type-theoretic approach to higher-order modules with sharing, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '94, 1994.
DOI : 10.1145/174675.176927

B. [. Harper and . Pierce, Design issues in advanced module systems, Advanced Topics in Types and Programming Languages

H. Hosoya and B. C. Pierce, How good is local type inference?, 1999.

J. [. Hennessy, N. Rathke, and . Yoshida, Safedpi: A language for controlling mobile code, Proc. FOSSACS, LNCS 2987, 2004.

C. [. Harper and . Stone, A type-theoretic interpretation of standard ML, Proof, Language and Interaction: Essays in Honour of Robin Milner, 2000.

D. Le-botlan and D. Rémy, MLF: Raising ML to the power of System-F, Proceedings of the International Conference on Functional Programming, pp.27-38, 2003.

]. X. Ler94 and . Leroy, Manifest types, modules, and separate compilation, Proc. 21st POPL, 1994.

J. J. Leifer, G. Peskine, P. Sewell, and K. Wansbrough, Global abstraction-safe marshalling with hash types, Proc. 8th ICFP, 2003.
DOI : 10.1145/944705.944714

URL : https://hal.archives-ouvertes.fr/inria-00071732

K. [. Murphy, R. Crary, F. Harper, and . Pfenning, A symmetric modal lambda calculus for distributed computing, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004., 2004.
DOI : 10.1109/LICS.2004.1319623

A. Ohori and K. Kato, Semantics for communication primitives in a polymorphic language, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '93, pp.99-112, 1993.
DOI : 10.1145/158511.158529

M. Odersky, C. Zenger, and M. Zenger, Colored local type inference, ACM SIGPLAN Notices, vol.36, issue.3, pp.41-53, 2001.
DOI : 10.1145/373243.360207

C. Benjamin, D. N. Pierce, and . Turner, Local type inference, Full version in ACM Transactions on Programming Languages and Systems (TOPLAS), vol.22, issue.1, pp.1-44, 1998.

D. [. Pierce and . Turner, Pict: A programming language based on the pi-calculus, Proof, Language and Interaction: Essays in Honour of Robin Milner, 2000.

D. Rémy, Using, understanding, and unraveling the ocaml language, Applied Semantics. Advanced Lectures, pp.413-537, 2002.

]. J. [-rep99 and . Reppy, Concurrent Programming in ML, 1999.

]. A. Ros03 and . Rossberg, Generativity and dynamic opacity for abstract types, Proc. 5th PPDP, 2003.

P. Sewell, Applied ? ? a brief tutorial An extract appeared as Chapter, Formal Methods for Distributed Processing, A Survey of Object Oriented Approaches, 2000.

]. P. Sew01 and . Sewell, Modules, abstract types, and distributed versioning, Proc. 28th POPL, 2001.

[. Sewell, J. J. Leifer, K. Wansbrough, M. Allen-williams, F. Z. Nardelli et al., Acute: high-level programming language design for distributed computation . Draft available http
URL : https://hal.archives-ouvertes.fr/inria-00070671

A. [. Shinwell, M. J. Pitts, and . Gabbay, FreshML: Programming with binders made simple, Proc. 8th ICFP, pp.263-274, 2003.

P. [. Sewell, B. C. Wojciechowski, . Piercesy97-]-t, A. Sekiguchi, and . Yonezawa, Location-independent communication for mobile agents: a two-level architecture A calculus with code mobility, Internet Programming Languages Proc. 2nd FMOODS, pp.1-31, 1997.

[. Thomsen, L. Leth, and T. Kuo, A Facile tutorial Nomadic Pict: Correct communication infrastructure for mobile computation, CONCUR'96 Proc. POPL, pp.116-127, 1996.

S. Weirich, Programming With Types main text: $Id: paper2.mng,v 118:26 leifer Exp $ definition: $Id: minicaml-rt.mng,v 1, p.825, 2002.