Author:
Dezani-Ciancaglini Mariangiola,Drossopoulou Sophia,Mostrous Dimitris,Yoshida Nobuko
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference54 articles.
1. Personal Communication by E-mails between the authors of [6,28,34,51].
2. Lucia Acciai, Michele Boreale, A type system for client progress in a service-oriented calculus, in: Pierpaolo Degano, Rocco De Nicola, José Meseguer (Eds.), Concurrency Graphs and Models, LNCS, vol. 5065, Springer-Verlag, 2008, pp. 642–658.
3. Alexander Ahern, Nobuko Yoshida, Formalising Java RMI with explicit code mobility, in: Ralph Johnson, Richard P. Gabriel (Eds.), OOPSLA’05, ACM Press, 2005, pp. 403–422.
4. Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri, Session and union types for object oriented programming, in: Pierpaolo Degano, Rocco De Nicola, José Meseguer (Eds.), Concurrency Graphs and Models, LNCS, vol. 5065, Springer-Verlag, 2008, pp. 659–680.
5. Gavin Bierman, Matthew Parkinson, Andrew Pitts, MJ: An Imperative Core Calculus for Java and Java with Effects, Technical Report 563, University of Cambridge, Computer Laboratory, 2003.
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Global types with internal delegation;Theoretical Computer Science;2020-02
2. Label-dependent session types;Proceedings of the ACM on Programming Languages;2020-01
3. Intrinsically-Typed Mechanized Semantics for Session Types;Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019;2019-10-07
4. Typechecking protocols with Mungo and StMungo: A session type toolchain for Java;Science of Computer Programming;2018-04
5. JAVA & LAMBDA: A FEATHERWEIGHT STORY;LOG METH COMPUT SCI;2018