If you are attending, please fill in this form
- Presentation
- Introduction to Binary Session Types - 10 Feb 2020
- Introduction to Binary Session Types - 11 Feb 2020
- Introduction to Binary Session Types - 13 Feb 2020
- Binary session types in Ocaml - 14 Feb 2020
- Design by Contract + PCF - 18 Feb 2020
- Findler & Felleisen - 20 Feb 2020
- FuSe + DbC - 20 Feb 2020
- FuSe + DbC - 21 Feb 2020
- Multiparty Session Types - 25 Feb 2020
- Multiparty Session Types - 26 Feb 2020
- MST+DbC - 27 Feb 2020
- Take-Home to be finished by March 30th, 2020.
- Simon J. Gay, Malcolm Hole: Subtyping for session types in the pi calculus. Acta Inf. 42(2-3): 191-225 (2005)
- Vasco T. Vasconcelos: Fundamentals of session types. Inf. Comput. 217: 52-70 (2012)
- Luca Padovani: A simple library implementation of binary sessions. J. Funct. Program. 27: e4 (2017)
- Ornela Dardha, Elena Giachino, Davide Sangiorgi: Session types revisited. Inf. Comput. 256: 253-286 (2017)
- Robert Bruce Findler, Matthias Felleisen: Contracts for higher-order functions. ICFP 2002: 48-59
- Christos Dimoulas, Robert Bruce Findler, Cormac Flanagan, Matthias Felleisen: Correct blame for contracts: no more scapegoating. POPL 2011: 215-226
- Hernán C. Melgratti, Luca Padovani: Chaperone contracts for higher-order sessions. PACMPL 1(ICFP): 35:1-35:29 (2017)
- Kohei Honda, Nobuko Yoshida, Marco Carbone: Multiparty asynchronous session types. POPL 2008.
- Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Yoshida: A Theory of Design-by-Contract for Distributed Multiparty Interactions. CONCUR 2010.