How Session Types Bring Type Safety To Communication скачать в хорошем качестве

How Session Types Bring Type Safety To Communication

Resources: Honda, Vasconcelos & Kubo (1998) - "Language Primitives and Type Discipline for Structured Communication-Based Programming" [ESOP '98]: https://www.researchgate.net/publicat... Philip Wadler (2012) - "Propositions as Sessions" [ICFP 2012]: https://homepages.inf.ed.ac.uk/wadler... Caires & Pfenning (2010) - "Session Types as Intuitionistic Linear Propositions" [CONCUR 2010]: https://www.cs.cmu.edu/~fp/papers/msc... Gay & Vasconcelos - "Session Types" (Cambridge University Press): https://www.cambridge.org/us/universi... Vasco Vasconcelos - "Fundamentals of Session Types" [Tutorial paper]: https://www.di.fc.ul.pt/~vv/papers/va... "A Gentle Introduction to Multiparty Asynchronous Session Types": http://mrg.doc.ic.ac.uk/publications/... Stanford CS242 Session Types Lecture: https://stanford-cs242.github.io/f18/... "Sessions and Session Types: An Overview": http://www.di.unito.it/~dezani/papers... Sam Lindley & J. Garrett Morris (2015) - "A Semantics for Propositions as Sessions" [ESOP 2015]: https://jgbm.github.io/pubs/lindley-e... Dardha & Gay (2018) - "A New Linear Logic for Deadlock-Free Session-Typed Processes": https://link.springer.com/chapter/10.... Takeuchi, Honda & Kubo (1994) - "An Interaction-based Language and its Typing System" [PARLE '94]: https://www.semanticscholar.org/paper... Honda, Yoshida & Carbone (2008) - "Multiparty Asynchronous Session Types" [POPL 2008]: https://dl.acm.org/doi/10.1145/2827695