LMS Computer Science Colloquium - Nobuko Yoshida (Imperial College London)

views comments

An automated programme is used to generate the subtitles on this talk. You can remove the subtitles by pressing CC on the bottom toolbar.

Nobuko Yoshida (Imperial College London) - Session Types: A History and Applications