ICFP 2021
Sun 22 - Sat 28 August 2021
VenueVirtual
Room nameHOPE
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

Sun 22 Aug

Displayed time zone: Seoul change

18:00 - 19:30
Session 2HOPE at HOPE
18:00
30m
Talk
The Functional Machine Calculus
HOPE
Willem Heijltjes University of Bath
18:30
30m
Talk
Formalising Algebraic Effects with Non-Recoverable Failure
HOPE
Timotej Tomandl University of Kent, Dominic Orchard University of Kent, UK
Pre-print
19:00
30m
Talk
Computational calculus: bridging reduction and evaluation
HOPE
Claudia Faggian Université de Paris & CNRS, Giulio Guerrieri University of Bath, Riccardo Treglia Università di Torino
File Attached
20:00 - 21:30
Session 3HOPE at HOPE
20:00
30m
Talk
Higher-Order Asynchronous Effects
HOPE
Danel Ahman University of Ljubljana, Matija Pretnar University of Ljubljana, Slovenia, Janez Radešček University of Ljubljana
Pre-print File Attached
20:30
30m
Talk
Handler calculus
HOPE
Sam Lindley The University of Edinburgh, UK
File Attached
21:00
30m
Talk
A Monad for Shared-State Concurrency
HOPE
Yotam Dvir Tel Aviv University, Ori Lahav Tel Aviv University, Ohad Kammar University of Edinburgh
File Attached
23:30 - 01:00
Session 4HOPE at HOPE
23:30
30m
Talk
First-class Names for Effect Handlers
HOPE
Ningning Xie University of Toronto, Youyou Cong Tokyo Institute of Technology, Daan Leijen Microsoft Research
00:00
30m
Talk
Tensor Partial Evaluation
HOPE
Eli Bingham Broad Institute, Fritz Obermeyer Broad Institute of MIT and Harvard, Yerdos Ordabayev Brandeis University, Du Phan UIUC
File Attached
00:30
30m
Talk
Dynamic Scope + Laziness = Counterfactuals
HOPE
James Koppel Massachusetts Institute of Technology, USA, Armando Solar-Lezama Massachusetts Institute of Technology, Zenna Tavares Massachusetts Institute of Technology, Xin Zhang Peking University
File Attached

Sun 22 Aug

Displayed time zone: Seoul change

Room16:003017:003018:003019:003020:003021:003022:003023:00300:0030
HOPE