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.
Orchard, Dominic
and
Yoshida, Nobuko
2016.
Effects as sessions, sessions as effects.
p.
568.
Orchard, Dominic
and
Yoshida, Nobuko
2016.
Effects as sessions, sessions as effects.
ACM SIGPLAN Notices,
Vol. 51,
Issue. 1,
p.
568.
Thiemann, Peter
and
Vasconcelos, Vasco T.
2016.
Context-free session types.
ACM SIGPLAN Notices,
Vol. 51,
Issue. 9,
p.
462.
Lindley, Sam
and
Morris, J. Garrett
2016.
Embedding session types in Haskell.
p.
133.
Atkey, Robert
Lindley, Sam
and
Morris, J. Garrett
2016.
A List of Successes That Can Change the World.
Vol. 9600,
Issue. ,
p.
32.
Ciobanu, Gabriel
and
Horne, Ross
2016.
Perspectives of System Informatics.
Vol. 9609,
Issue. ,
p.
91.
Paykin, Jennifer
and
Zdancewic, Steve
2016.
A List of Successes That Can Change the World.
Vol. 9600,
Issue. ,
p.
273.
Caires, Luís
and
Pérez, Jorge A.
2016.
Formal Techniques for Distributed Objects, Components, and Systems.
Vol. 9688,
Issue. ,
p.
74.
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.
Thiemann, Peter
and
Vasconcelos, Vasco T.
2016.
Context-free session types.
p.
462.
Toninho, Bernardo
and
Yoshida, Nobuko
2016.
A List of Successes That Can Change the World.
Vol. 9600,
Issue. ,
p.
433.
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.
Morris, J. Garrett
2016.
The best of both worlds: linear functional programming without compromise.
p.
448.
PADOVANI, LUCA
2017.
A simple library implementation of binary sessions.
Journal of Functional Programming,
Vol. 27,
Issue. ,
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.
Discussions
No Discussions have been published for this article.