C# documentation https://docs.microsoft.com/dotnet/csharp/ Scribble http://www.scribble.org/ 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 10.1145/3290342 Manuel M. T. Chakravarty Gabriele Keller Simon L. Peyton Jones Simon Marlow 2005 Associated types with class Jens Palsberg Martín Abadi Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005 ACM 1–13 10.1145/1040305.1040306 Ezra Cooper Sam Lindley Philip Wadler Jeremy Yallop 2006 Links: Web Programming Without Tiers Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures 266–296 10.1007/978-3-540-74792-5_12 Ornela Dardha Elena Giachino Davide Sangiorgi 2017 Session types revisited Inf. Comput. 256 253–286 10.1016/j.ic.2017.06.002 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 28:1–28:29 10.1145/3290341 Kohei Honda Vasco T. Vasconcelos Makoto Kubo 1998 Language primitives and type discipline for structured communication-based programming Chris Hankin Programming Languages and Systems Springer Berlin Heidelberg
Berlin, Heidelberg
122–138 10.1007/BFb0053567
Raymond Hu 2017 Distributed Programming Using Java APIs Generated from Session Types In [Chapter 13]BETTYTOOLBOOK. Raymond Hu Nobuko Yoshida 2016 Hybrid Session Verification through Endpoint API Generation 19th International Conference on Fundamental Approaches to Software Engineering LNCS 9633 Springer 401–418 10.1007/978-3-662-49665-7_24 Raymond Hu Nobuko Yoshida 2017 Explicit Connection Actions in Multiparty Session Types Marieke Huisman Julia Rubin Fundamental Approaches to Software Engineering Springer Berlin Heidelberg
Berlin, Heidelberg
116–133 10.1007/978-3-662-54494-5_7
Raymond Hu Nobuko Yoshida Kohei Honda 2008 Session-Based Distributed Programming in Java ECOOP 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, Proceedings 516–541 10.1007/978-3-540-70592-5_22 Keigo Imai Nobuko Yoshida Shoji Yuen 2018 Session-ocaml: a Session-based Library with Polarities and Lenses Sci. Comput. Program. 172 135–159 10.1016/j.scico.2018.08.005 Keigo Imai Shoji Yuen Kiyoshi Agusa 2010 Session Type Inference in Haskell Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, PLACES 2010, Paphos, Cyprus, 21st March 2010. 74–91 10.4204/EPTCS.69.6 Thomas Bracht Laumann Jespersen Philip Munksgaard Ken Friis Larsen 2015 Session Types for Rust WGP 2015: Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming ACM 13–22 10.1145/2808098.2808100 Wen Kokke 2019 Rusty Variation: Deadlock-free Sessions with Failure in Rust Massimo Bartoletti Ludovic Henrio Anastasia Mavridou Alceste Scalas Proceedings 12th Interaction and Concurrency Experience, ICE 2019, Copenhagen, Denmark, 20-21 June 2019 EPTCS 304 48–60 10.4204/EPTCS.304.4 Dimitrios Kouzapas Ornela Dardha Roly Perera Simon J. Gay 2016 Typechecking protocols with Mungo and StMungo Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016 146–159 10.1145/2967973.2968595 Sam Lindley J. Garrett Morris 2015 A Semantics for Propositions as Sessions Programming Languages and Systems - 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings 560–584 10.1007/978-3-662-46669-8_23 Sam Lindley J. Garrett Morris 2016 Embedding Session Types in Haskell Haskell 2016: Proceedings of the 9th International Symposium on Haskell ACM 133–145 10.1145/2976002.2976018 J. McCarthy 1979 An Interesting LISP Function Lisp Bull. 3 6–8 10.1145/1411829.1411833 Massimo Merro Davide Sangiorgi 2004 On asynchrony in name-passing calculi Mathematical Structures in Computer Science 14 5 715–767 10.1017/S0960129504004323 Rumyana Neykova Raymond Hu Nobuko Yoshida Fahd Abdeljallal 2018 A session type provider: compile-time API generation of distributed protocols with refinements in F# Proceedings of the 27th International Conference on Compiler Construction, CC 2018, February 24-25, 2018, Vienna, Austria ACM 128–138 10.1145/3178372.3179495 Dominic Orchard Nobuko Yoshida 2016 Effects as sessions, sessions as effects POPL 2016: 43th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ACM 568–581 10.1145/2837614.2837634 Luca Padovani 2016 A Simple Library Implementation of Binary Sessions Journal of Functional Programming 27 e4 10.1017/S0956796816000289 Riccardo Pucella Jesse A. Tov 2008 Haskell Session Types with (Almost) No Class Proceedings of the First ACM SIGPLAN Symposium on Haskell Haskell '08 ACM
New York, NY, USA
25–36 10.1145/1411286.1411290
Chieri Saito Atsushi Igarashi 2008 The Essence of Lightweight Family Polymorphism Journal of Object Technology 7 5 67–99 10.5381/jot.2008.7.5.a3 Alceste Scalas Ornela Dardha Raymond Hu Nobuko Yoshida 2017 A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming ECOOP 10.4230/LIPIcs.ECOOP.2017.24 Alceste Scalas Nobuko Yoshida 2016 Lightweight Session Programming in Scala ECOOP 2016: 30th European Conference on Object-Oriented Programming LIPIcs 56 Dagstuhl 21:1–21:28 10.4230/LIPIcs.ECOOP.2016.21 António Ravara Simon Gay 2017 Behavioural Types: from Theory to Tools River Publisher 10.13052/rp-9788793519817 Philip Wadler 2014 Propositions as sessions J. Funct. Program. 24 2-3 384–418 10.1017/S095679681400001X