ICFP 2021
Sun 22 - Sat 28 August 2021
ICFP 2021 (series) / Virtual /

Room information: HOPE

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

16:00 - 17:30
Session 1HOPE at HOPE
16:00
30m
Talk
Representing Monads with Capabilities
HOPE
Aleksander Boruch-Gruszecki EPFL, Jonathan Immanuel Brachthäuser EPFL, Martin Odersky EPFL
16:30
30m
Talk
Higher-order Programming with Effects and Handlers — with First-Class Functions
HOPE
Jonathan Immanuel Brachthäuser EPFL, Philipp Schuster University of Tübingen, Edward Lee University of Waterloo, Aleksander Boruch-Gruszecki EPFL
17:00
30m
Talk
Computational and Contextual Program Differences: Reasoning About Non-equivalent Effectful Programs in an Higher-Order Scenario
HOPE
Ugo Dal Lago University of Bologna, Italy / Inria, France, Francesco Gavazzo University of Bologna & INRIA Sophia Antipolis
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

HOPE

Session 1

HOPE

Session 2

HOPE

Session 3

HOPE

Session 4

Sun 22 Aug

Displayed time zone: Seoul change

Room16:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
HOPE
HOPE
Representing Monads with Capabilities
16:00 - 16:30
HOPE
Higher-order Programming with Effects and Handlers — with First-Class F ...
16:30 - 17:00
HOPE
Computational and Contextual Program Differences: Reasoning About Non-e ...
17:00 - 17:30
HOPE
The Functional Machine Calculus
18:00 - 18:30
HOPE
Formalising Algebraic Effects with Non-Recoverable Failure
18:30 - 19:00
HOPE
Computational calculus: bridging reduction and evaluation
19:00 - 19:30
HOPE
Higher-Order Asynchronous Effects
20:00 - 20:30
HOPE
Handler calculus
20:30 - 21:00
HOPE
A Monad for Shared-State Concurrency
21:00 - 21:30
HOPE
First-class Names for Effect Handlers
23:30 - 00:00

Mon 23 Aug

Displayed time zone: Seoul change

Room0:00153045
HOPE
HOPE
Tensor Partial Evaluation
00:00 - 00:30
HOPE
Dynamic Scope + Laziness = Counterfactuals
00:30 - 01:00