Robert L Bocchino Jr, Vikram S Adve, Danny Dig, Sarita V Adve, Stephen Heumann, Rakesh Komuravelli, Jeffrey Overbey, Patrick Simmons, Hyojin Sung & Mohsen Vakilian (2009):
A Type and Effect System for Deterministic Parallel Java.
In Proocedings of OOPSLA 2009,
pp. 97–116,
doi:10.1145/1640089.1640097.
Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini & Nobuko Yoshida (2014):
On the Preciseness of Subtyping in Session Types.
In: PPDP 2014.
ACM Press,
pp. 146–135,
doi:10.1145/2643135.2643138.
David K. Gifford & John M. Lucassen (1986):
Integrating functional and imperative programming.
In: Proceedings of Conference on LISP and func. prog.,
LFP '86,
doi:10.1145/319838.319848.
Dimitrios Kouzapas, Nobuko Yoshida, Raymond Hu & Kohei Honda (2014):
On asynchronous eventful session semantics.
Mathematical Structures in Computer Science,
pp. 1–62,
doi:10.1017/s096012951400019x.
Dimitris Mostrous & Nobuko Yoshida (2015):
Session typing and asynchronous subtyping for the higher-order πLaTeX Error: Bad math environment delimiterSee the LaTeX manual or LaTeX Companion for explanation.Your command was ignored.Type I <command> <return> to replace it with another command,or <return> to continue without it.-calculus.
Inf. Comput. 241,
pp. 227–263,
doi:10.1016/j.ic.2015.02.002.
Flemming Nielson & Hanne Riis Nielson (1999):
Type and effect systems.
In: Correct System Design.
Springer,
pp. 114–136,
doi:10.1007/3-540-48092-7_6.
Hanne Riis Nielson & Flemming Nielson (1994):
Higher-order concurrent programs with finite communication topology.
In: Proceedings of the symposium on Principles of programming languages.
ACM,
pp. 84–97,
doi:10.1145/174675.174538.
Tomas Petricek, Dominic A. Orchard & Alan Mycroft (2014):
Coeffects: a calculus of context-dependent computation.
In: Proceedings of ICFP,
pp. 123–135,
doi:10.1145/2628136.2628160.
Davide Sangiorgi & David Walker (2001):
The π-Calculus: a Theory of Mobile Processes.
Cambridge University Press,
doi:10.2178/bsl/1182353926.
Jean-Pierre Talpin & Pierre Jouvelot (1992):
The type and effect discipline.
In: Proc. LICS'92,
pp. 162–173,
doi:10.1109/lics.1992.185530.
Nobuko Yoshida & Vasco Thudichum Vasconcelos (2007):
Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication.
Electr. Notes Theor. Comput. Sci. 171(4),
pp. 73–93,
doi:10.1016/j.entcs.2007.02.056.
eptcs@eptcs.org