ICFP 2020 Session NY 4

Lionel Parreaux presents a simplified approach to principal type inference with algebraic subtyping.

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