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.
Pfenning, Frank
and
Griffith, Dennis
2015.
Foundations of Software Science and Computation Structures.
Vol. 9034,
Issue. ,
p.
3.
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.
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.
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.
Olarte, Carlos
and
Pimentel, Elaine
2017.
On concurrent behaviors and focusing in linear logic.
Theoretical Computer Science,
Vol. 685,
Issue. ,
p.
46.
Caires, Luís
and
Pérez, Jorge A.
2017.
Programming Languages and Systems.
Vol. 10201,
Issue. ,
p.
229.
Balzer, Stephanie
and
Pfenning, Frank
2017.
Manifest sharing with session types.
Proceedings of the ACM on Programming Languages,
Vol. 1,
Issue. ICFP,
p.
1.
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.
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.
Programming Languages and Systems.
Vol. 10801,
Issue. ,
p.
827.
Gommerstadt, Hannah
Jia, Limin
and
Pfenning, Frank
2018.
Programming Languages and Systems.
Vol. 10801,
Issue. ,
p.
771.
Toninho, Bernardo
and
Yoshida, Nobuko
2018.
Foundations of Software Science and Computation Structures.
Vol. 10803,
Issue. ,
p.
128.
Scalas, Alceste
and
Yoshida, Nobuko
2018.
Multiparty session types, beyond duality.
Journal of Logical and Algebraic Methods in Programming,
Vol. 97,
Issue. ,
p.
55.
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.
Interconnectability of Session-Based Logical Processes.
ACM Transactions on Programming Languages and Systems,
Vol. 40,
Issue. 4,
p.
1.
Sakayori, Ken
and
Tsukada, Takeshi
2019.
Programming Languages and Systems.
Vol. 11423,
Issue. ,
p.
640.
IGARASHI, ATSUSHI
THIEMANN, PETER
TSUDA, YUYA
VASCONCELOS, VASCO T.
and
WADLER, PHILIP
2019.
Gradual session types.
Journal of Functional Programming,
Vol. 29,
Issue. ,
Lindenhovius, Bert
Mislove, Michael
and
Zamdzhiev, Vladimir
2019.
Mixed linear and non-linear recursive types.
Proceedings of the ACM on Programming Languages,
Vol. 3,
Issue. ICFP,
p.
1.