Video captions supported by Jane Street.
SESSION CONTENTS
[00:00] Introduction slides
[12:43] A theory of RPC calculi for client–server model **JFP**
Kwanghoon Choi (presenting)
Byeong-Mo Chang
[24:08] The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus **JFP**
Álvaro García Perez, IMDEA Software Institute (presenting)
Pablo Nogueira, ESNE University School of Design, Innovation and Technology
[35:10] Local algebraic effect theories **JFP**
Žiga Lukšič (presenting)
Matija Pretnar, University of Ljubljana, Slovenia
[46:31] Heterogeneous binary random-access lists **JFP**
Wouter Swierstra, Utrecht University, Netherlands (presenting)
[58:03] POPLMark reloaded: Mechanizing proofs by logical relations **JFP**
Andreas Abel, Gothenburg University
Guillaume Allais, University of St Andrews
Aliya Hameer, McGill University
Brigitte Pientka, McGill University (presenting)
Alberto Momigliano, Università degli Studi di Milano
Steven Schäfer, Google, Aarhus
Kathrin Stark, Princeton University, USA
[01:08:50] Perturbation confusion in forward automatic differentiation of higher-order functions **JFP**
Oleksandr Manzyuk
Barak A. Pearlmutter, Maynooth University (presenting)
Alexey Radul
David Rush
Jeffrey Mark Siskind, School of Electrical and Computer Engineering, Purdue University
[01:20:13] Elastic Sheet-Defined Functions: Generalising Spreadsheet Functions to Variable-Size Input Arrays **JFP**
Matt McCutchen (presenting)
Judith Borghouts
Andrew D. Gordon, Microsoft Research and University of Edinburgh
Simon Peyton Jones, Microsoft, UK
Advait Sarkar, Microsoft Research and University of Cambridge
[01:31:13] Emerging languages: An alternative approach to teaching programming languages **JFP**
Saverio Perugini (presenting)
![](https://s2.save4k.ru/pic/50riBgBU52g/maxresdefault.jpg)