17:12

[PLMW @ POPL'23] Introduction

ACM SIGPLAN

51:41

[PLMW @ POPL'23] Imagining the Reader

ACM SIGPLAN

49:36

[PLMW @ POPL'23] Session Types Meet Polymorphism and Dependent Types

ACM SIGPLAN

39:49

[PLMW @ POPL'23] Anti-disciplinary: doing academic research when you like too many things

ACM SIGPLAN

39:22

[PLMW @ POPL'23] How (not) to give a great research talk

ACM SIGPLAN

47:09

[PLMW @ POPL'23] Big Ideas in Program Synthesis

ACM SIGPLAN

48:50

[PLMW @ POPL'23] Care and Feeding of Advisors

ACM SIGPLAN