Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Lindley, Sam
and
Morris, J. Garrett
2016.
Embedding session types in Haskell.
p.
133.
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.
Padovani, Luca
2017.
Programming Languages and Systems.
Vol. 10201,
Issue. ,
p.
804.
Imai, Keigo
Yoshida, Nobuko
and
Yuen, Shoji
2017.
Coordination Models and Languages.
Vol. 10319,
Issue. ,
p.
99.
Padovani, Luca
2018.
A type checking algorithm for concurrent object protocols.
Journal of Logical and Algebraic Methods in Programming,
Vol. 100,
Issue. ,
p.
16.
Neykova, Rumyana
Hu, Raymond
Yoshida, Nobuko
and
Abdeljallal, Fahd
2018.
A session type provider: compile-time API generation of distributed protocols with refinements in F#.
p.
128.
Lindley, Sam
and
Morris, J. Garrett
2018.
Embedding session types in Haskell.
ACM SIGPLAN Notices,
Vol. 51,
Issue. 12,
p.
133.
Viering, Malte
Chen, Tzu-Chun
Eugster, Patrick
Hu, Raymond
and
Ziarek, Lukasz
2018.
Programming Languages and Systems.
Vol. 10801,
Issue. ,
p.
799.
Toninho, Bernardo
and
Yoshida, Nobuko
2018.
Programming Languages and Systems.
Vol. 10801,
Issue. ,
p.
827.
Lange, Julien
and
Yoshida, Nobuko
2019.
Computer Aided Verification.
Vol. 11561,
Issue. ,
p.
97.
Bravetti, Mario
and
Zavattaro, Gianluigi
2019.
Software Engineering and Formal Methods.
Vol. 11724,
Issue. ,
p.
29.
Castro, David
Hu, Raymond
Jongmans, Sung-Shik
Ng, Nicholas
and
Yoshida, Nobuko
2019.
Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures.
Proceedings of the ACM on Programming Languages,
Vol. 3,
Issue. POPL,
p.
1.
Kokke, Wen
2019.
Rusty Variation: Deadlock-free Sessions with Failure in Rust.
Electronic Proceedings in Theoretical Computer Science,
Vol. 304,
Issue. ,
p.
48.
Fowler, Simon
Lindley, Sam
Morris, J. Garrett
and
Decova, Sára
2019.
Exceptional asynchronous session types: session types without tiers.
Proceedings of the ACM on Programming Languages,
Vol. 3,
Issue. POPL,
p.
1.
Padovani, Luca
2019.
Context-Free Session Type Inference.
ACM Transactions on Programming Languages and Systems,
Vol. 41,
Issue. 2,
p.
1.
King, Jonathan
Ng, Nicholas
and
Yoshida, Nobuko
2019.
Multiparty Session Type-safe Web Development with Static Linearity.
Electronic Proceedings in Theoretical Computer Science,
Vol. 291,
Issue. ,
p.
35.
Imai, Keigo
Yoshida, Nobuko
and
Yuen, Shoji
2019.
Session-ocaml: A session-based library with polarities and lenses.
Science of Computer Programming,
Vol. 172,
Issue. ,
p.
135.
IGARASHI, ATSUSHI
THIEMANN, PETER
TSUDA, YUYA
VASCONCELOS, VASCO T.
and
WADLER, PHILIP
2019.
Gradual session types.
Journal of Functional Programming,
Vol. 29,
Issue. ,
Ciccone, Luca
and
Padovani, Luca
2020.
A Dependently Typed Linear π-Calculus in Agda.
p.
1.
Voinea, A. Laura
Dardha, Ornela
and
Gay, Simon J.
2020.
Formal Techniques for Distributed Objects, Components, and Systems.
Vol. 12136,
Issue. ,
p.
208.
Discussions
No Discussions have been published for this article.