Published July 31, 2023
| Version v1
Presentation
Open
Slides: Introduction to Session Types (SPLV 2023)
Description
Slides from lectures at Scottish Programming Languages and Verification Summer School (SPLV'23): introduction to binary and multiparty session types.
Files
splv-lecture-1.pdf
Files
(6.8 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:3afec5875afdebffe813f0d1ce959a66
|
4.1 MB | Preview Download |
|
md5:811f81496801abdb66833b30448f7b0b
|
2.7 MB | Preview Download |