ICFP 2020 Session Asia 4

Video captions supported by Jane Street.

SESSION CONTENTS
[00:00] Introduction slides

[13:10] The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy (Functional Pearl)
Lionel Parreaux, EPFL (presenting)

[28:01] Liquid Resource Types
Tristan Knoth, University of California at San Diego, USA
Di Wang, Carnegie Mellon University (presenting)
Adam Reynolds, University of California, San Diego
Nadia Polikarpova, University of California, San Diego
Jan Hoffmann, Carnegie Mellon University

[43:30] Cosmo: A Concurrent Separation Logic for Multicore OCaml
Glen Mével, Inria, Université Paris-Saclay, CNRS, Laboratoire de recherche en informatique (presenting)
Jacques-Henri Jourdan, Universersité Paris Saclay, CNRS, LRI
François Pottier, Inria, France

[58:31] Composing and Decomposing Op-Based CRDTs with Semidirect Products
Matthew Weidner, Carnegie Mellon University (presenting)
Christopher Meiklejohn, Carnegie Mellon University
Heather Miller, Carnegie Mellon University

[01:13:13] A Quick Look at Impredicativity **Distinguished Paper**
Alejandro Serrano, 47 Degrees, Spain (presenting)
Jurriaan HageUtrecht University, Netherlands
Simon Peyton Jones, Microsoft, UK
Dimitrios Vytiniotis, DeepMind

[01:28:02] A Unified View of Modalities in Type Systems
Andreas Abel, Gothenburg University
Jean-Philippe Bernardy, University of Gothenburg, Sweden (presenting)

[01:43:00] Lower Your Guards: A Compositional Pattern-Match Coverage Checker
Sebastian Graf, Karlsruhe Institute of Technology (presenting)
Simon Peyton Jones, Microsoft, UK
Ryan Scott, Galois, Inc.

[01:58:01] Signature restriction for polymorphic algebraic effects
Taro Sekiyama, National Institute of Informatics (presenting)
Takeshi Tsukada, University of Tokyo, Japan
Atsushi Igarashi, Kyoto University, Japan