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