Glynn Winskel: \

(1:9:41)

Glynn Winskel - Making Concurrency Functional - SPLV 2022

(1:31:29)

Glynn Winskel - Making Concurrency Functional part II - SPLV 2022

(1:29:48)

Glynn Winskel: \

(34:6)

Glynn Winskel: \

(31:5)

ICTAC2015 Conference - Keynote by Glynn Winskel

(1:11:43)

Term Rewriting with Prolog

(42:5)

Roman Elizarov — Structured concurrency

(1:1econd)

[In English] Functional Thursday #Special - Having an Effect by Oleg Kiselyov

(1:38:25)

Kenneth Foner - Getting a Quick Fix on Comonads

(58:33)

Econometrics - Binary Dependent Variables (Probit, Logit, and Linear Probability Models)

(12:46)

Talk by Martin Gander (University of Geneva)

(59:59)

Category Theory II 4.2: The Yoneda Lemma

(36:11)

ACT@UCR Seminar: The Pi Calculus - Christian Williams

(1:13:59)

Abstracting Algebraic Effects

(21:58)

SAFE Stack: The Pit of Success for Functional Web Programming - Isaac Abraham - NDC Oslo 2021

(1:2:46)

02 Combining Effects and Coeffects

(31:13)

3 12 Combining Effects and Coeffects via Grading

(25:49)

ACT@UCR Seminar: A Localic Approach to Dependency, Conflict, and Concurrency - Gershom Bazerman

(58:58)

20151029195914 (No sound)

(1:11:27)