Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
WADLER, PHILIP
2014.
Propositions as sessions.
Journal of Functional Programming,
Vol. 24,
Issue. 2-3,
p.
384.
Dardha, Ornela
and
Pérez, Jorge A.
2015.
Comparing Deadlock-Free Session Typed Processes.
Electronic Proceedings in Theoretical Computer Science,
Vol. 190,
Issue. ,
p.
1.
Pfenning, Frank
and
Griffith, Dennis
2015.
Foundations of Software Science and Computation Structures.
Vol. 9034,
Issue. ,
p.
3.
Igarashi, Atsushi
Thiemann, Peter
Vasconcelos, Vasco T.
and
Wadler, Philip
2017.
Gradual session types.
Proceedings of the ACM on Programming Languages,
Vol. 1,
Issue. ICFP,
p.
1.
Balzer, Stephanie
and
Pfenning, Frank
2017.
Manifest sharing with session types.
Proceedings of the ACM on Programming Languages,
Vol. 1,
Issue. ICFP,
p.
1.
Caires, Luís
and
Pérez, Jorge A.
2017.
Programming Languages and Systems.
Vol. 10201,
Issue. ,
p.
229.
Olarte, Carlos
and
Pimentel, Elaine
2017.
On concurrent behaviors and focusing in linear logic.
Theoretical Computer Science,
Vol. 685,
Issue. ,
p.
46.
Silva, Miguel
Florido, Mário
and
Pfenning, Frank
2017.
Non-Blocking Concurrent Imperative Programming with Session Types.
Electronic Proceedings in Theoretical Computer Science,
Vol. 238,
Issue. ,
p.
64.
Lange, Julien
Ng, Nicholas
Toninho, Bernardo
and
Yoshida, Nobuko
2017.
Fencing off go: liveness and safety for channel-based programming.
p.
748.
Lange, Julien
Ng, Nicholas
Toninho, Bernardo
and
Yoshida, Nobuko
2017.
Fencing off go: liveness and safety for channel-based programming.
ACM SIGPLAN Notices,
Vol. 52,
Issue. 1,
p.
748.
Hüttel, Hans
Lanese, Ivan
Vasconcelos, Vasco T.
Caires, Luís
Carbone, Marco
Deniélou, Pierre-Malo
Mostrous, Dimitris
Padovani, Luca
Ravara, António
Tuosto, Emilio
Vieira, Hugo Torres
and
Zavattaro, Gianluigi
2017.
Foundations of Session Types and Behavioural Contracts.
ACM Computing Surveys,
Vol. 49,
Issue. 1,
p.
1.
Toninho, Bernardo
and
Yoshida, Nobuko
2018.
Foundations of Software Science and Computation Structures.
Vol. 10803,
Issue. ,
p.
128.
Gommerstadt, Hannah
Jia, Limin
and
Pfenning, Frank
2018.
Programming Languages and Systems.
Vol. 10801,
Issue. ,
p.
771.
Scalas, Alceste
and
Yoshida, Nobuko
2018.
Multiparty session types, beyond duality.
Journal of Logical and Algebraic Methods in Programming,
Vol. 97,
Issue. ,
p.
55.
Toninho, Bernardo
and
Yoshida, Nobuko
2018.
Interconnectability of Session-Based Logical Processes.
ACM Transactions on Programming Languages and Systems,
Vol. 40,
Issue. 4,
p.
1.
Das, Ankush
Hoffmann, Jan
and
Pfenning, Frank
2018.
Parallel complexity analysis with temporal session types.
Proceedings of the ACM on Programming Languages,
Vol. 2,
Issue. ICFP,
p.
1.
Toninho, Bernardo
and
Yoshida, Nobuko
2018.
Programming Languages and Systems.
Vol. 10801,
Issue. ,
p.
827.
Balzer, Stephanie
Toninho, Bernardo
and
Pfenning, Frank
2019.
Programming Languages and Systems.
Vol. 11423,
Issue. ,
p.
611.
IGARASHI, ATSUSHI
THIEMANN, PETER
TSUDA, YUYA
VASCONCELOS, VASCO T.
and
WADLER, PHILIP
2019.
Gradual session types.
Journal of Functional Programming,
Vol. 29,
Issue. ,
Horne, Ross
Tiu, Alwen
Aman, Bogdan
and
Ciobanu, Gabriel
2019.
De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic.
ACM Transactions on Computational Logic,
Vol. 20,
Issue. 4,
p.
1.