Koen Claessen, Jonas Duregård & Michał H. Pałka (2015):
Generating constrained random data with uniform distribution.
Journal of Functional Programming 25,
doi:10.1017/s0956796815000143.
Ornela Dardha, Elena Giachino & Davide Sangiorgi (2017):
Session types revisited.
Information and Computation 256,
pp. 253–286,
doi:10.1016/j.ic.2017.06.002.
Andrzej Filinski (1994):
Representing monads.
In: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL 94.
ACM Press,
doi:10.1145/174675.178047.
Simon Fowler, Sam Lindley, J. Garrett Morris & Sára Decova (2019):
Exceptional Asynchronous Session Types: Session Types Without Tiers.
Proc. ACM Program. Lang. 3(POPL),
pp. 28:1–28:29,
doi:10.1145/3290341.
Simon J. Gay & Vasco T. Vasconcelos (2009):
Linear type theory for asynchronous session types.
Journal of Functional Programming 20(01),
pp. 19,
doi:10.1017/s0956796809990268.
Kohei Honda (1993):
Types for dyadic interaction.
In: CONCUR93.
Springer Nature,
pp. 509–523,
doi:10.1007/3-540-57208-2_35.
Thomas Bracht Laumann Jespersen, Philip Munksgaard & Ken Friis Larsen (2015):
Session types for Rust.
In: Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming.
ACM,
pp. 13–22,
doi:10.1145/2808098.2808100.
Ralf Jung, Jacques-Henri Jourdan, Robbert Krebbers & Derek Dreyer (2017):
RustBelt: securing the foundations of the rust programming language.
Proceedings of the ACM on Programming Languages 2(POPL),
pp. 1–34,
doi:10.1145/3158154.
Sam Lindley & J. Garrett Morris (2015):
A Semantics for Propositions as Sessions.
In: Programming Languages and Systems.
Springer Berlin Heidelberg,
pp. 560–584,
doi:10.1007/978-3-662-46669-8_23.
Luca Padovani (2017):
A simple library implementation of binary sessions.
Journal of Functional Programming 27,
pp. e4,
doi:10.1017/S0956796816000289.
Alceste Scalas & Nobuko Yoshida (2016):
Lightweight Session Programming in Scala.
In: Shriram Krishnamurthi & Benjamin S. Lerner: 30th European Conference on Object-Oriented Programming (ECOOP 2016),
Leibniz International Proceedings in Informatics (LIPIcs) 56.
Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik,
Dagstuhl, Germany,
pp. 21:1–21:28,
doi:10.4230/LIPIcs.ECOOP.2016.21.
Philip Wadler (2012):
Propositions As Sessions.
In: Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming,
ICFP '12.
ACM,
New York, NY, USA,
pp. 273–286,
doi:10.1145/2364527.2364568.
Aaron Weiss, Daniel Patterson & Amal Ahmed (2018):
Rust Distilled: An Expressive Tower of Languages.
CoRR abs/1806.02693.
Available at http://arxiv.org/abs/1806.02693.
eptcs@eptcs.org