Write a Blog >>
FARM 2020
Fri 28 Aug 2020
co-located with ICFP 2020
VenueOnline
Room nameSRC Posters
Room InformationNo extra information available
Program

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

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

10:30 - 11:30
10:30
8m
Poster
A GHC-Plugin to Compile Effectful Languages
ICFP Student Research Competition
10:38
8m
Poster
Certified double sided auction mechanisms
ICFP Student Research Competition
10:47
8m
Poster
Certified Optimisation of Stream Operations Using Heterogeneous Staging
ICFP Student Research Competition
James LowenthalUniversity of Cambridge
10:55
8m
Poster
Pattern Matching with Typed Holes
ICFP Student Research Competition
Yongwei YuanUniversity of Michigan
11:04
8m
Poster
Type Hole Inference
ICFP Student Research Competition
Zhiyi PanUniversity of Michigan
11:12
8m
Poster
Semantics for a Simple Differentiable Language Using Distribution Theory
ICFP Student Research Competition
Christopher LamCornell University
11:21
8m
Poster
Gradual Enforcement of IO Trace Properties
ICFP Student Research Competition
Cezar-Constantin AndriciAlexandru Ioan Cuza University of Iasi

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