Author:
Fournet Cédric,Maranget Luc,Laneve Cosimo,Rémy Didier
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. L. Damas and R. Milner. Principal type schemes for functional programs. In Proceedings on Principles of Programmining Languages, pages 207–212, 1982.
2. C. Fournet and G. Gonthier. The reflexive chemical abstract machine and the join-calculus. In 23rd ACM Symposium on Principles of Programming Languages (POPL'96), 1996.
3. C. Fournet, G. Gonthier, J.-J. Lévy, L. Maranget, and D. Rémy. A calculus of mobile agents. In 7th International Conference on Concurrency Theory (CONCUR'96), 1996. LNCS 1119.
4. N. Kobayashi, B. C. Pierce, and D. N. Turner. Linear types and picalculus. In 23rd ACM Symposium on Principles of Programming Languages (POPL'96), 1996.
5. K. Läufer and M. Odersky. An extension of ML with first-class abstract types. In Proceedings of the ACM SIGPLAN Workshop on ML and its Applications, 1992.
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Ownership Types for the Join Calculus;Formal Techniques for Distributed Systems;2011
2. Information Hiding in the Join Calculus;Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues;2007
3. A concurrent lambda calculus with futures;Theoretical Computer Science;2006-11
4. A Concurrent Lambda Calculus with Futures;Frontiers of Combining Systems;2005
5. Compiling Pattern Matching in Join-Patterns;CONCUR 2004 - Concurrency Theory;2004