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)

Roman Elizarov — Structured concurrency

(1:1econd)

ACT@UCR Seminar: The Pi Calculus - Christian Williams

(1:13:59)

Correlated Electrons in Two Dimensions: The Fractional Quantum Hall Effect and More

(38:7)

Kenneth Foner - Getting a Quick Fix on Comonads

(58:33)

Term Rewriting with Prolog

(42:5)

The Connected Brain: Network and Communication - Alain Goriely

(56:25)

What is Programming Languages Research?

(50:32)

Michael Dunn: \

(1:18)

آموزش پایگاه داده بیولوژیک NCBI - قسمت هشتم : پیدا کردن اسنیپ (SNP) های موجود در یک ژن

(7:57)

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)