Presentation Open Access
Slides: Introduction to Session Types (SPLV 2023)
Fowler, Simon
Slides from lectures at Scottish Programming Languages and Verification Summer School (SPLV'23): introduction to binary and multiparty session types.
Files
(6.8 MB)
| Name | Size | |
|---|---|---|
|
splv-lecture-1.pdf
md5:3afec5875afdebffe813f0d1ce959a66 |
4.1 MB | Download |
|
splv-lecture-2.pdf
md5:811f81496801abdb66833b30448f7b0b |
2.7 MB | Download |
215
70
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 215 | 215 |
| Downloads | 70 | 70 |
| Data volume | 262.4 MB | 262.4 MB |
| Unique views | 204 | 204 |
| Unique downloads | 52 | 52 |
Indexed in
- Publication date:
- July 31, 2023
- DOI:
-
- License (for files):
- Creative Commons Attribution 4.0 International