Скачать
Information-flow Control Libraries - Alejandro Russo [4/4]
Автор: OPLSS
Загружено: 2021-07-29
Просмотров: 100
Описание:
Oregon Programming Languages Summer School (OPLSS)
Foundations of Programming and Security
June 14-26, 2021
https://is.gd/OPLSS2021
Topic: Information-flow Control Libraries
Lecturer: Alejandro Russo (Chalmers 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
![Information-flow Control Libraries - Alejandro Russo [4/4]](https://ricktube.ru/thumbnail/T2cb4x3OEiw/hq720.jpg)
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
![Monads and Interaction - Tarmo Uustalu [4/4]](https://ricktube.ru/thumbnail/E_JunLxosSc/mqdefault.jpg)
![Session-Typed Concurrent Programming - Stephanie Balzer [1/4]](https://ricktube.ru/thumbnail/ZV5kjDd_bMk/mqdefault.jpg)
![Writing session-typed programs in Rust with Ferrite - Ruofei Chen [1/2]](https://ricktube.ru/thumbnail/ZXVbGHZwZXk/mqdefault.jpg)
![Information-flow Control Libraries - Alejandro Russo [3/4]](https://ricktube.ru/thumbnail/xWzkZghJBC8/mqdefault.jpg)
![Session-Typed Concurrent Programming - Stephanie Balzer [3/4]](https://ricktube.ru/thumbnail/H4vZowWHfJc/mqdefault.jpg)
![Kleene Algebras and Applications - Alexandra Silva [4/4]](https://ricktube.ru/thumbnail/_Bn0t1Hq170/mqdefault.jpg)