Скачать
Session-Typed Concurrent Programming - Stephanie Balzer [2/4]
Автор: OPLSS
Загружено: 2021-07-31
Просмотров: 258
Описание:
Oregon Programming Languages Summer School (OPLSS)
Foundations of Programming and Security
June 14-26, 2021
https://is.gd/OPLSS2021
Topic: Session-Typed Concurrent Programming
Lecturer: Stephanie Balzer (Carnegie Mellon University)
OPLSS is a production of the Department of Computer and Information Science at the University of Oregon
https://cs.uoregon.edu/
Copyright © 2021 by the University of Oregon
This work is published under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International license. See https://is.gd/0WxWNM
![Session-Typed Concurrent Programming - Stephanie Balzer [2/4]](https://ricktube.ru/thumbnail/n6WVpDPi-oE/hq720.jpg)
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
![Kleene Algebras and Applications - Alexandra Silva [3/4]](https://ricktube.ru/thumbnail/DpDIbQre5R4/mqdefault.jpg)
![Session-Typed Concurrent Programming - Stephanie Balzer [3/4]](https://ricktube.ru/thumbnail/H4vZowWHfJc/mqdefault.jpg)
![Session-Typed Concurrent Programming - Stephanie Balzer [1/4]](https://ricktube.ru/thumbnail/ZV5kjDd_bMk/mqdefault.jpg)
![Session-Typed Concurrent Programming - Stephanie Balzer [4/4]](https://ricktube.ru/thumbnail/d9dO_XBt0k8/mqdefault.jpg)
![Semantics of Advanced Data Types - Patricia Johann [1/4]](https://ricktube.ru/thumbnail/YhUE32PxGWk/mqdefault.jpg)
![Monads and Interaction - Tarmo Uustalu [4/4]](https://ricktube.ru/thumbnail/E_JunLxosSc/mqdefault.jpg)
![Monads and Interaction - Tarmo Uustalu [3/4]](https://ricktube.ru/thumbnail/CsVJxVOfQmc/mqdefault.jpg)
![Writing session-typed programs in Rust with Ferrite - Ruofei Chen [1/2]](https://ricktube.ru/thumbnail/ZXVbGHZwZXk/mqdefault.jpg)
![Session-Typed Concurrent Programming [1/4] - Frank Pfenning - OPLSS 2019](https://ricktube.ru/thumbnail/3aKDnnta9Ck/mqdefault.jpg)