Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
ICFP 2020 (series) / Online /

Room information: ICFP Asia 4

VenueOnline
Room nameICFP Asia 4
Floor0
Additional informationThere is no additional information of this room available.
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Wed 26 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

02:30 - 04:30: Asia 4ICFP Program at ICFP Asia 4
Chair(s): Stephanie WeirichUniversity of Pennsylvania

Public livestreams: YouTube, Bilibili (China)

02:30 - 02:45
Talk		The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy (Functional Pearl)
ICFP Program
Lionel ParreauxEPFL
DOI Pre-print Media Attached
02:45 - 03:00
Talk		Liquid Resource Types
ICFP Program
Tristan KnothUniversity of California at San Diego, USA, Di WangCarnegie Mellon University, Adam ReynoldsUniversity of California, San Diego, Nadia PolikarpovaUniversity of California, San Diego, Jan HoffmannCarnegie Mellon University
DOI Media Attached
03:00 - 03:15
Talk		Cosmo: A Concurrent Separation Logic for Multicore OCaml
ICFP Program
Glen MévelInria, Université Paris-Saclay, CNRS, Laboratoire de recherche en informatique, Jacques-Henri JourdanUniversersité Paris Saclay, CNRS, LRI, François PottierInria, France
DOI Media Attached
03:15 - 03:30
Talk		Composing and Decomposing Op-Based CRDTs with Semidirect Products
ICFP Program
Matthew WeidnerCarnegie Mellon University, Christopher MeiklejohnCarnegie Mellon University, Heather MillerCarnegie Mellon University
DOI Media Attached
03:30 - 03:45
Talk		A Quick Look at ImpredicativityDistinguished Paper
ICFP Program
Alejandro Serrano47 Degrees, Spain, Jurriaan HageUtrecht University, Netherlands, Simon Peyton JonesMicrosoft, UK, Dimitrios VytiniotisDeepMind
DOI Pre-print Media Attached
03:45 - 04:00
Talk		A Unified View of Modalities in Type Systems
ICFP Program
Andreas AbelGothenburg University, Jean-Philippe BernardyUniversity of Gothenburg, Sweden
DOI Media Attached
04:00 - 04:15
Talk		Lower Your Guards: A Compositional Pattern-Match Coverage Checker
ICFP Program
Sebastian GrafKarlsruhe Institute of Technology, Simon Peyton JonesMicrosoft, UK, Ryan ScottGalois, Inc.
Link to publication DOI Media Attached
04:15 - 04:30
Talk		Signature restriction for polymorphic algebraic effects
ICFP Program
Taro SekiyamaNational Institute of Informatics, Takeshi TsukadaChiba University, Japan, Atsushi IgarashiKyoto University, Japan
DOI Media Attached

Wed 26 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

Room2:00303:00304:0030
ICFP Asia 4

ICFP Program

Asia 4

Wed 26 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

Room2:001530453:001530454:00153045
ICFP Asia 4
ICFP Program
The Simple Essence of Algebraic Subtyping: Principal Type Inference wit ...
02:30 - 02:45
ICFP Program
Liquid Resource Types
02:45 - 03:00
ICFP Program
Cosmo: A Concurrent Separation Logic for Multicore OCaml
03:00 - 03:15
ICFP Program
Composing and Decomposing Op-Based CRDTs with Semidirect Products
03:15 - 03:30
ICFP ProgramDistinguished Paper
A Quick Look at Impredicativity
03:30 - 03:45
ICFP Program
A Unified View of Modalities in Type Systems
03:45 - 04:00
ICFP Program
Lower Your Guards: A Compositional Pattern-Match Coverage Checker
04:00 - 04:15
ICFP Program
Signature restriction for polymorphic algebraic effects
04:15 - 04:30