Alice Through the Looking Glass, of Trends in Functional Programming, pp.97-96, 2006. ,
Concurrent Programming in ML, 1999. ,
DOI : 10.1017/CBO9780511574962
ML with Concurrency: Design, Analysis, Implementation, and Application, Monographs in Computer Science, 1997. ,
DOI : 10.1007/978-1-4612-2274-3
The reflexive chemical abstract machine and the joincalculus, Proc. POPL'96, pp.372-385, 1996. ,
Jocaml: mobile agents for Objective-Caml, Proceedings. First and Third International Symposium on Agent Systems Applications, and Mobile Agents, pp.22-29, 1999. ,
DOI : 10.1109/ASAMA.1999.805390
Generativity and dynamic opacity for abstract types, Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming , PPDP '03, pp.241-252, 2003. ,
DOI : 10.1145/888251.888274
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.6271
Generic Pickling and Minimization, Electronic Notes in Theoretical Computer Science, vol.148, issue.2, pp.79-103, 2006. ,
DOI : 10.1016/j.entcs.2005.11.041
URL : http://doi.org/10.1016/j.entcs.2005.11.041
The Oz Programming Model, Computer Science Today LNCS, vol.1000, pp.324-343, 1995. ,
DOI : 10.1007/BFb0015252
Efficient logic variables for distributed computing, ACM Transactions on Programming Languages and Systems, vol.21, issue.3, pp.569-626, 1999. ,
DOI : 10.1145/319301.319347
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.132.2730
Uniform confluence in concurrent computation, Journal of Functional Programming, vol.10, issue.5, pp.453-499, 2000. ,
DOI : 10.1017/S0956796800003762
URL : https://hal.archives-ouvertes.fr/inria-00536801
The incremental garbage collection of processes, ACM SIGPLAN Notices, vol.12, issue.8, pp.55-59, 1977. ,
DOI : 10.1145/872734.806932
MULTILISP: a language for concurrent symbolic computation, ACM Transactions on Programming Languages and Systems, vol.7, issue.4, pp.501-538, 1985. ,
DOI : 10.1145/4472.4478
The family of concurrent logic programming languages, ACM Computing Surveys, vol.21, issue.3, pp.413-510, 1989. ,
DOI : 10.1145/72551.72555
The semantic foundations of concurrent constraint programming, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '91, pp.333-352, 1991. ,
DOI : 10.1145/99583.99627
Set-based failure diagnosis for concurrent constraint programming, 1998. ,
Pict: A programming language based on the picalculus, Proof, Language and Interaction: Essays in Honour of Robin Milner, pp.455-494, 2000. ,
Implicit typingàtypingà la ML for the join-calculus, Proc. CONCUR'97, pp.196-212, 1997. ,
Developing Applications With Objective Caml, 2000. ,
The semantics of future and an application, Journal of Functional Programming, vol.9, issue.1, pp.1-31, 1999. ,
DOI : 10.1017/S0956796899003329
The semantics of scheme with future, International Conference on Functional Programming, pp.146-156, 1996. ,
I-structures: data structures for parallel computing, ACM Transactions on Programming Languages and Systems, vol.11, issue.4, pp.598-632, 1989. ,
DOI : 10.1145/69558.69562
Promises: linguistic support for efficient asynchronous procedure calls in distributed systems, ACM SIGPLAN Notices, vol.23, issue.7, pp.260-267, 1988. ,
DOI : 10.1145/960116.54016
Lambda Calculus with Explicit Recursion, Information and Computation, vol.139, issue.2, pp.154-233, 1997. ,
DOI : 10.1006/inco.1997.2651
URL : http://doi.org/10.1006/inco.1997.2651
The call-by-need lambda calculus, Journal of Functional Programming, vol.7, issue.3, pp.265-301, 1997. ,
DOI : 10.1017/S0956796897002724
The call-by-need lambda calculus, Journal of Functional Programming, vol.8, issue.3, pp.275-317, 1998. ,
DOI : 10.1017/S0956796898003037
Simple imperative polymorphism, Lisp and Symbolic Computation, pp.343-355, 1995. ,
DOI : 10.1007/BF01018828
The missing link -dynamic components for ML, 11th International Conference on Functional Programming, 2006. ,
Once upon a type, Proceedings of the seventh international conference on Functional programming languages and computer architecture , FPCA '95, pp.1-11, 1995. ,
DOI : 10.1145/224164.224168
A concurrent lambda calculus with futures, Frontiers of Combining Systems, pp.248-263, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00090434
The polyadic ??-calculus, Proc. Marktoberdorf Summer School, pp.203-246, 1993. ,
DOI : 10.1007/BFb0084778
The Mechanical Evaluation of Expressions, The Computer Journal, vol.6, issue.4, pp.308-320, 1964. ,
DOI : 10.1093/comjnl/6.4.308
Conjoining specifications, ACM Transactions on Programming Languages and Systems, vol.17, issue.3, pp.507-534, 1995. ,
DOI : 10.1145/203095.201069
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.4928
Linearity and the pi-calculus, ACM Transactions on Programming Languages and Systems, vol.21, issue.5, pp.914-947, 1999. ,
DOI : 10.1145/330249.330251
A fully abstract may testing semantics for concurrent objects, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, pp.101-112, 2002. ,
DOI : 10.1109/LICS.2002.1029820
The ??-calculus in direct style, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '97, pp.228-241, 1997. ,
DOI : 10.1145/263699.263726
A Theory of Distributed Objects, 2005. ,
Uniqueness type inference, Proceedings PLILP'95, pp.189-206, 1995. ,
DOI : 10.1007/BFb0026821
Linear types can change the world, Programming Concepts and Methods, pp.546-566, 1990. ,