ICFP 2021 (series) / HOPE 2021 (series) /
HOPE 2021 Program
This is the HOPE 2021 program - see the full program for ICFP 2021 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 22 AugDisplayed time zone: Seoul change
Sun 22 Aug
Displayed time zone: Seoul change
16:00 - 17:30 | |||
16:00 30mTalk | Representing Monads with Capabilities HOPE | ||
16:30 30mTalk | 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 30mTalk | 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 | |||
18:00 30mTalk | The Functional Machine Calculus HOPE Willem Heijltjes University of Bath | ||
18:30 30mTalk | Formalising Algebraic Effects with Non-Recoverable Failure HOPE Pre-print | ||
19:00 30mTalk | 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 | |||
20:00 30mTalk | 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 30mTalk | Handler calculus HOPE Sam Lindley The University of Edinburgh, UK File Attached | ||
21:00 30mTalk | A Monad for Shared-State Concurrency HOPE File Attached |
23:30 - 01:00 | |||
23:30 30mTalk | First-class Names for Effect Handlers HOPE Ningning Xie University of Hong Kong, Youyou Cong Tokyo Institute of Technology, Daan Leijen Microsoft Research | ||
00:00 30mTalk | 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 30mTalk | 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 |