Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Mostrous, Dimitris
2014.
Multiparty Sessions based on Proof Nets.
Electronic Proceedings in Theoretical Computer Science,
Vol. 155,
Issue. ,
p.
1.
Brock-Nannestad, Taus
and
Guenot, Nicolas
2015.
Focused Linear Logic and the λ-calculus.
Electronic Notes in Theoretical Computer Science,
Vol. 319,
Issue. ,
p.
103.
Lindley, Sam
and
Morris, J. Garrett
2015.
Programming Languages and Systems.
Vol. 9032,
Issue. ,
p.
560.
Lindley, Sam
and
Morris, J. Garrett
2016.
Talking bananas: structural recursion for session types.
ACM SIGPLAN Notices,
Vol. 51,
Issue. 9,
p.
434.
Morris, J. Garrett
2016.
The best of both worlds: linear functional programming without compromise.
ACM SIGPLAN Notices,
Vol. 51,
Issue. 9,
p.
448.
Pérez, Jorge A.
2016.
Formal Techniques for Distributed Objects, Components, and Systems.
Vol. 9688,
Issue. ,
p.
239.
Lindley, Sam
and
Morris, J. Garrett
2016.
Talking bananas: structural recursion for session types.
p.
434.
Thiemann, Peter
and
Vasconcelos, Vasco T.
2016.
Context-free session types.
ACM SIGPLAN Notices,
Vol. 51,
Issue. 9,
p.
462.
Orchard, Dominic
and
Yoshida, Nobuko
2016.
Effects as sessions, sessions as effects.
p.
568.
Ciobanu, Gabriel
and
Horne, Ross
2016.
Perspectives of System Informatics.
Vol. 9609,
Issue. ,
p.
91.
Lindley, Sam
and
Morris, J. Garrett
2016.
Embedding session types in Haskell.
p.
133.
Orchard, Dominic
and
Yoshida, Nobuko
2016.
Effects as sessions, sessions as effects.
ACM SIGPLAN Notices,
Vol. 51,
Issue. 1,
p.
568.
Caires, Luís
and
Pérez, Jorge A.
2016.
Formal Techniques for Distributed Objects, Components, and Systems.
Vol. 9688,
Issue. ,
p.
74.
Toninho, Bernardo
and
Yoshida, Nobuko
2016.
A List of Successes That Can Change the World.
Vol. 9600,
Issue. ,
p.
433.
Paykin, Jennifer
and
Zdancewic, Steve
2016.
A List of Successes That Can Change the World.
Vol. 9600,
Issue. ,
p.
273.
Morris, J. Garrett
2016.
The best of both worlds: linear functional programming without compromise.
p.
448.
Thiemann, Peter
and
Vasconcelos, Vasco T.
2016.
Context-free session types.
p.
462.
Atkey, Robert
Lindley, Sam
and
Morris, J. Garrett
2016.
A List of Successes That Can Change the World.
Vol. 9600,
Issue. ,
p.
32.
Bartoletti, Massimo
Murgia, Maurizio
Scalas, Alceste
and
Zunino, Roberto
2017.
Verifiable abstractions for contract-oriented systems.
Journal of Logical and Algebraic Methods in Programming,
Vol. 86,
Issue. 1,
p.
159.
PADOVANI, LUCA
2017.
A simple library implementation of binary sessions.
Journal of Functional Programming,
Vol. 27,
Issue. ,
Discussions
No Discussions have been published for this article.