talks.md

layout	title
page	Talks & Videos

Talks (videos)

Some videos of talks we have given about our work in various different venues.

Huawei Programming Language Technology Salon | Issue 14: Graded (Modal) Types for Fine-grained Program Reasoning (Dominic Orchard, May 2022)

<iframe width="640" height="360" src="//player.bilibili.com/player.html?aid=897017111&bvid=BV1DA4y1Z734&cid=735237482&page=1" scrolling="no" border="0" frameborder="no" framespacing="0" allowfullscreen="true"> </iframe>

Interview for the 47 Degrees "Immutable Conversations" podcast (Dominic Orchard, June 2021)

<iframe width="640" height="360" src="https://www.youtube.com/embed/6yswyRQGsRQ" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

ESOP 2021 - Graded Modal Dependent Type Theory

<iframe width="640" height="360" src="https://www.youtube.com/embed/mJLNjd4hIqw" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share" allowfullscreen></iframe>

End of the 2020 review (Dominic Orchard)

<iframe width="640" height="360" src="https://www.youtube.com/embed/7r4H1vWIOVk" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

MSFP 2020 - Unifying graded and parameterised monads

<iframe width="640" height="360" src="https://www.youtube.com/embed/nWArZM6jrmc" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share" allowfullscreen></iframe>

TyDe 2020 workshop (online) "Towards Graded Modal Type Theory" (Benjamin Moon)

<iframe width="640" height="360" src="https://www.youtube.com/embed/JFtSa7S9Ggg" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

[podcast] The Typechecker Ep. 2: Granule (feat. Dr. Dominic Orchard)

<iframe width="560" height="315" src="https://www.youtube.com/embed/rqArTpY_kNY" frameborder="0" allow="accelerometer; autoplay; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

CodeMesh London 2019 (Dominic Orchard)

<iframe width="640" height="360" src="https://www.youtube.com/embed/2HOtpcrmXMQ" frameborder="0" allow="accelerometer; autoplay; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

ICFP 2019, Berlin (Vilem-Benjamin Liepelt)

<iframe width="640" height="360" src="https://www.youtube.com/embed/JikTzq6kdjE" frameborder="0" allow="accelerometer; autoplay; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

TypeLevel Summit, Lausanne 2019 (Vilem-Benjamin Liepelt)

<iframe width="640" height="360" src="https://www.youtube.com/embed/han6vHzPLsY" frameborder="0" allow="accelerometer; autoplay; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>