Information-flow Control Libraries - Alejandro Russo [3/4]
1:20:32
Information-flow Control Libraries - Alejandro Russo [4/4]
1:19:26
From Program Equivalences to Program Metrics - Ugo Dal Lago [1/4]
1:36:03
Reasoning about Probabilistic Programs - Justin Hsu [3/4]
1:39:29
Monads and Interaction - Tarmo Uustalu [4/4]
1:03:43
Cómo hablar
19:05
US Vice President Vance criticizes Europe for migration and democracy deficits | BR24
20:28
5 Pieces by Hans Zimmer \\ Iconic Soundtracks \\ Relaxing Piano [20min]
2:03:01