@article(claessen2015,
 author       = {Koen Claessen and Dureg{\r a}rd, Jonas and Pa{\l}ka, Micha{\l} H.},
 year         = {2015},
 title        = {Generating constrained random data with uniform distribution},
 journal      = {Journal of Functional Programming},
 volume       = {25},
 doi          = {10.1017/s0956796815000143},
)
@article(dardha2017,
 author       = {Ornela Dardha and Elena Giachino and Davide Sangiorgi},
 year         = {2017},
 title        = {Session types revisited},
 journal      = {Information and Computation},
 volume       = {256},
 pages        = {253--286},
 doi          = {10.1016/j.ic.2017.06.002},
)
@book(rust2019,
 author       = {The Rust Project Developers},
 year         = {2019},
 title        = {The Rust Programming Language},
 edition      = {1.35.0},
 url          = {https://doc.rust-lang.org/1.35.0/book/},
)
@inproceedings(filinski1994,
 author       = {Andrzej Filinski},
 year         = {1994},
 title        = {Representing monads},
 booktitle    = {Proceedings of the 21st {ACM} {SIGPLAN}-{SIGACT} symposium on Principles of programming languages - {POPL} {\textquotesingle}94},
 publisher    = {{ACM} Press},
 doi          = {10.1145/174675.178047},
)
@article(fowler2019,
 author       = {Simon Fowler and Sam Lindley and J. Garrett Morris and S\'{a}ra Decova},
 year         = {2019},
 title        = {Exceptional Asynchronous Session Types: Session Types Without Tiers},
 journal      = {Proc. ACM Program. Lang.},
 volume       = {3},
 number       = {POPL},
 pages        = {28:1--28:29},
 doi          = {10.1145/3290341},
)
@article(gay2009,
 author       = {Simon J. Gay and Vasco T. Vasconcelos},
 year         = {2009},
 title        = {Linear type theory for asynchronous session types},
 journal      = {Journal of Functional Programming},
 volume       = {20},
 number       = {01},
 pages        = {19},
 doi          = {10.1017/s0956796809990268},
)
@unpublished(glavina2019,
 author       = {Stjepan Glavina},
 year         = {2019},
 title        = {Proposal: New channels for Rust's standard library},
 url          = {https://stjepang.github.io/2019/03/02/new-channels.html},
)
@incollection(honda1993,
 author       = {Kohei Honda},
 year         = {1993},
 title        = {Types for dyadic interaction},
 booktitle    = {{CONCUR}{\textquotesingle}93},
 publisher    = {Springer Nature},
 pages        = {509--523},
 doi          = {10.1007/3-540-57208-2_35},
)
@inproceedings(jespersen2015,
 author       = {Thomas Bracht Laumann Jespersen and Philip Munksgaard and Ken Friis Larsen},
 year         = {2015},
 title        = {Session types for Rust},
 booktitle    = {Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming},
 organization = {ACM},
 pages        = {13--22},
 doi          = {10.1145/2808098.2808100},
)
@article(jung2017,
 author       = {Ralf Jung and Jacques-Henri Jourdan and Robbert Krebbers and Derek Dreyer},
 year         = {2017},
 title        = {{RustBelt}: securing the foundations of the rust programming language},
 journal      = {Proceedings of the {ACM} on Programming Languages},
 volume       = {2},
 number       = {{POPL}},
 pages        = {1--34},
 doi          = {10.1145/3158154},
)
@incollection(lindley2015,
 author       = {Sam Lindley and J. Garrett Morris},
 year         = {2015},
 title        = {A Semantics for Propositions as Sessions},
 booktitle    = {Programming Languages and Systems},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {560--584},
 doi          = {10.1007/978-3-662-46669-8_23},
)
@article(padovani2017,
 author       = {Luca Padovani},
 year         = {2017},
 title        = {A simple library implementation of binary sessions},
 journal      = {Journal of Functional Programming},
 volume       = {27},
 pages        = {e4},
 doi          = {10.1017/S0956796816000289},
)
@inproceedings(scalas2016,
 author       = {Alceste Scalas and Nobuko Yoshida},
 year         = {2016},
 title        = {{Lightweight Session Programming in Scala}},
 editor       = {Shriram Krishnamurthi and Benjamin S. Lerner},
 booktitle    = {30th European Conference on Object-Oriented Programming (ECOOP 2016)},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {56},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
 address      = {Dagstuhl, Germany},
 pages        = {21:1--21:28},
 doi          = {10.4230/LIPIcs.ECOOP.2016.21},
)
@inproceedings(wadler2012,
 author       = {Philip Wadler},
 year         = {2012},
 title        = {Propositions As Sessions},
 booktitle    = {Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming},
 series       = {ICFP '12},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {273--286},
 doi          = {10.1145/2364527.2364568},
)
@article(weiss2018,
 author       = {Aaron Weiss and Daniel Patterson and Amal Ahmed},
 year         = {2018},
 title        = {Rust Distilled: An Expressive Tower of Languages},
 journal      = {CoRR},
 volume       = {abs/1806.02693},
 url          = {http://arxiv.org/abs/1806.02693},
)