Guillaume Allais, Robert Atkey, James Chapman, Conor McBride & James McKinna (2018):
A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs.
Proc. ACM Program. Lang. 2(ICFP),
pp. 90:1–90:30,
doi:10.1145/3236785.
Thorsten Altenkirch, Martin Hofmann & Thomas Streicher (1995):
Categorical Reconstruction of a Reduction Free Normalization Proof.
In: David H. Pitt, David E. Rydeheard & Peter T. Johnstone: Category Theory and Computer Science, 6th International Conference, CTCS '95, Cambridge, UK, August 7-11, 1995, Proceedings,
Lecture Notes in Computer Science 953.
Springer,
pp. 182–199,
doi:10.1007/3-540-60164-3_27.
Robert Atkey (2009):
Parameterised notions of computation.
Journal of Functional Programming 19(3-4),
pp. 335–376,
doi:10.1017/S095679680900728X.
Stephanie Balzer & Frank Pfenning (2015):
Objects as session-typed processes.
In: Elisa Gonzalez Boix, Philipp Haller, Alessandro Ricci & Carlos Varela: Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE! 2015, Pittsburgh, PA, USA, October 26, 2015.
ACM,
pp. 13–24,
doi:10.1145/2824815.2824817.
Laura Bocchi, Kohei Honda, Emilio Tuosto & Nobuko Yoshida (2010):
A Theory of Design-by-Contract for Distributed Multiparty Interactions.
In: Paul Gastin & François Laroussinie: CONCUR 2010 - Concurrency Theory, 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings,
Lecture Notes in Computer Science 6269.
Springer,
pp. 162–176,
doi:10.1007/978-3-642-15375-4_12.
Johannes Borgström, Juan Chen & Nikhil Swamy (2011):
Verifying stateful programs with substructural state and hoare types.
In: Ranjit Jhala & Wouter Swierstra: Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, PLPV 2011, Austin, TX, USA, January 29, 2011.
ACM,
pp. 15–26,
doi:10.1145/1929529.1929532.
Edwin Brady (2013):
Idris, a general-purpose dependently typed programming language: Design and implementation.
J. Funct. Program. 23(5),
pp. 552–593,
doi:10.1017/S095679681300018X.
Edwin Brady (2014):
Resource-Dependent Algebraic Effects.
In: Jurriaan Hage & Jay McCarthy: Trends in Functional Programming - 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers,
Lecture Notes in Computer Science 8843.
Springer,
pp. 18–33,
doi:10.1007/978-3-319-14675-1_2.
Edwin Brady (2017):
Type-driven Development of Concurrent Communicating Systems.
Computer Science (AGH) 18(3),
doi:10.7494/csci.2017.18.3.1413.
Edwin Brady & Kevin Hammond (2010):
Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols.
Fundam. Inform. 102(2),
pp. 145–176,
doi:10.3233/FI-2010-303.
Edwin Brady & Kevin Hammond (2012):
Resource-Safe Systems Programming with Embedded Domain Specific Languages.
In: Claudio V. Russo & Neng-Fa Zhou: Practical Aspects of Declarative Languages - 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings,
Lecture Notes in Computer Science 7149.
Springer,
pp. 242–257,
doi:10.1007/978-3-642-27694-1_18.
David Castro, Raymond Hu, Sung-Shik Jongmans, Nicholas Ng & Nobuko Yoshida (2019):
Distributed Programming Using Role-parametric Session Types in Go: Statically-typed Endpoint APIs for Dynamically-instantiated Communication Structures.
Proc. ACM Program. Lang. 3(POPL),
pp. 29:1–29:30,
doi:10.1145/3290342.
James Maitland Chapman (2009):
Type checking and normalisation.
School of Computer Science, University of Nottingham.
Available at http://eprints.nottingham.ac.uk/10824/.
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.
Timothy S. Freeman & Frank Pfenning (1991):
Refinement Types for ML.
In: David S. Wise: Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation (PLDI), Toronto, Ontario, Canada, June 26-28, 1991.
ACM,
pp. 268–277,
doi:10.1145/113445.113468.
Kohei Honda, Nobuko Yoshida & Marco Carbone (2016):
Multiparty Asynchronous Session Types.
J. ACM 63(1),
pp. 9:1–9:67,
doi:10.1145/2827695.
Raymond Hu & Nobuko Yoshida (2017):
Explicit Connection Actions in Multiparty Session Types.
In: Marieke Huisman & Julia Rubin: Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings,
Lecture Notes in Computer Science 10202.
Springer,
pp. 116–133,
doi:10.1007/978-3-662-54494-5_7.
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,
WGP 2015.
ACM,
New York, NY, USA,
pp. 13–22,
doi:10.1145/2808098.2808100.
David Kaloper-Mersinjak, Hannes Mehnert, Anil Madhavapeddy & Peter Sewell (2015):
Not-Quite-So-Broken TLS: Lessons in Re-Engineering a Security Protocol Specification and Implementation.
In: Jaeyeon Jung & Thorsten Holz: 24th USENIX Security Symposium, USENIX Security 15, Washington, D.C., USA, August 12-14, 2015..
USENIX Association,
pp. 223–238.
Available at https://www.usenix.org/conference/usenixsecurity15/technical-sessions/presentation/kaloper-mersinjak.
Dimitrios Kouzapas, Ornela Dardha, Roly Perera & Simon J. Gay (2016):
Typechecking Protocols with Mungo and StMungo.
In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming,
PPDP '16.
ACM,
New York, NY, USA,
pp. 146–159,
doi:10.1145/2967973.2968595.
Julien Lange, Nicholas Ng, Bernardo Toninho & Nobuko Yoshida (2017):
Fencing off go: liveness and safety for channel-based programming.
In: Giuseppe Castagna & Andrew D. Gordon: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017.
ACM,
pp. 748–761,
doi:10.1145/3009837.
Available at http://dl.acm.org/citation.cfm?id=3009847.
Sam Lindley & J Garrett Morris (2017):
Behavioural Types: from Theory to Tools, chapter Lightweight Functional Session Types.
River Publishers,
doi:10.13052/rp-9788793519817.
Rumyana Neykova, Raymond Hu, Nobuko Yoshida & Fahd Abdeljallal (2018):
A session type provider: compile-time API generation of distributed protocols with refinements in F#.
In: Christophe Dubach & Jingling Xue: Proceedings of the 27th International Conference on Compiler Construction, CC 2018, February 24-25, 2018, Vienna, Austria.
ACM,
pp. 128–138,
doi:10.1145/3178372.3179495.
Nicholas Ng, Nobuko Yoshida & Kohei Honda (2012):
Multiparty Session C: Safe Parallel Programming with Message Optimisation,
pp. 202–218.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
doi:10.1007/978-3-642-30561-0_15.
Ulf Norell (2009):
Dependently Typed Programming in Agda.
In: Proceedings of the 4th International Workshop on Types in Language Design and Implementation,
TLDI '09.
ACM,
New York, NY, USA,
pp. 1–2,
doi:10.1145/1481861.1481862.
Dominic Orchard & Nobuko Yoshida (2016):
Effects As Sessions, Sessions As Effects.
SIGPLAN Not. 51(1),
pp. 568–581,
doi:10.1145/2914770.2837634.
Tomas Petricek, Gustavo Guerra & Don Syme (2016):
Types from data: making structured data first-class citizens in F#.
In: Chandra Krintz & Emery Berger: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, Santa Barbara, CA, USA, June 13-17, 2016.
ACM,
pp. 477–490,
doi:10.1145/2908080.2908115.
J. Postel (1981):
Transmission Control Protocol.
RFC 793 (INTERNET STANDARD).
Available at http://www.ietf.org/rfc/rfc793.txt.
Updated by RFCs 1122, 3168, 6093, 6528.
Riccardo Pucella & Jesse A. Tov (2008):
Haskell Session Types with (Almost) No Class.
In: Proceedings of the First ACM SIGPLAN Symposium on Haskell,
Haskell '08.
ACM,
New York, NY, USA,
pp. 25–36,
doi:10.1145/1411286.1411290.
Matthew Sackman & Susan Eisenbach (2008):
Session Types in Haskell: Updating Message Passing for the 21st Century.
Technical Report.
Imperial College London.
Available at http://pubs.doc.ic.ac.uk/session-types-in-haskell/.
Bernardo Toninho & Nobuko Yoshida (2016):
Certifying data in multiparty session types.
Journal of Logical and Algebraic Methods in Programming,
doi:10.1016/j.jlamp.2016.11.005.
Bernardo Toninho & Nobuko Yoshida (2018):
Depending on Session-Typed Processes.
In: Christel Baier & Ugo Dal Lago: Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings,
Lecture Notes in Computer Science 10803.
Springer,
pp. 128–145,
doi:10.1007/978-3-319-89366-2_7.
Nobuko Yoshida, Raymond Hu, Rumyana Neykova & Nicholas Ng (2014):
The Scribble Protocol Language,
pp. 22–41.
Springer International Publishing,
Cham,
doi:10.1007/978-3-319-05119-2_3.