Write a Blog >>
FARM 2020
Fri 28 Aug 2020
co-located with ICFP 2020
VenueOnline
Room nameICFP NY 3
Floor0
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

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

11:30 - 13:00
New York 3 (JFP talks)ICFP Program at ICFP NY 3
Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford

Public livestreams: YouTube, Bilibili (China)

11:30
11m
Talk
A theory of RPC calculi for client–server modelJFP
ICFP Program
DOI Media Attached
11:41
11m
Talk
The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculusJFP
ICFP Program
Álvaro García PerezIMDEA Software Institute, Pablo NogueiraESNE University School of Design, Innovation and Technology
DOI Media Attached
11:52
11m
Talk
Local algebraic effect theoriesJFP
ICFP Program
Žiga Lukšič, Matija PretnarUniversity of Ljubljana, Slovenia
DOI Media Attached
12:03
11m
Talk
Heterogeneous binary random-access listsJFP
ICFP Program
Wouter SwierstraUtrecht University, Netherlands
DOI Media Attached
12:15
11m
Talk
POPLMark reloaded: Mechanizing proofs by logical relationsJFP
ICFP Program
Andreas AbelGothenburg University, Guillaume AllaisUniversity of St Andrews, Aliya HameerMcGill University, Brigitte PientkaMcGill University, Alberto Momigliano Università degli Studi di Milano, Steven SchäferGoogle, Aarhus, Kathrin StarkPrinceton University, USA
DOI Media Attached
12:26
11m
Talk
Perturbation confusion in forward automatic differentiation of higher-order functionsJFP
ICFP Program
Oleksandr Manzyuk, Barak A. PearlmutterMaynooth University, Alexey Radul, David Rush, Jeffrey Mark SiskindSchool of Electrical and Computer Engineering, Purdue University
DOI Media Attached
12:37
11m
Talk
Elastic Sheet-Defined Functions: Generalising Spreadsheet Functions to Variable-Size Input ArraysJFP
ICFP Program
Matt McCutchen, Judith Borghouts, Andrew D. GordonMicrosoft Research and University of Edinburgh, Simon Peyton JonesMicrosoft, UK, Advait SarkarMicrosoft Research and University of Cambridge
DOI Pre-print Media Attached
12:48
11m
Talk
Emerging languages: An alternative approach to teaching programming languagesJFP
ICFP Program
Saverio PeruginiUniversity of Dayton
DOI Media Attached

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