Relative Monads in CBPV for Stack-based Effects (HOPE 2022)

Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

Track

HOPE 2022

Time Zone

The program is currently displayed in (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague.

Use conference time zone: (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, PragueSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Sun 11 Sep 2022 11:00 - 11:30 at M1 - HOPE Session 2

Abstract

We propose the use of relative monads in a Call-by-push-value calculus as a useful abstraction for stack-based effect implementations.

Time Zone

The program is currently displayed in (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague.

Use conference time zone: (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, PragueSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Sun 11 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

11:00 - 12:30	HOPE Session 2HOPE at M1

11:00 30m Talk		Relative Monads in CBPV for Stack-based Effects HOPE Max S. New University of Michigan
11:30 30m Talk		Temporal refinements for Call-By-Push-Value with fixpoint HOPE Guilhem Jaber University of Nantes, Kenji Maillard Inria Nantes & University of Chile, Colin Riba LIP - ENS de Lyon File Attached
12:00 30m Talk		On Reinforcement Learning, Effect Handlers, and the State Monad HOPE Ugo Dal Lago University of Bologna; Inria, Alexis Ghyselen University of Bologna, Francesco Gavazzo University of Bologna & INRIA Sophia Antipolis

Relative Monads in CBPV for Stack-based Effects

Sun 11 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Max S. New

University of Michigan

Tracks

Workshops

Co-hosted Symposia

Relative Monads in CBPV for Stack-based Effects

Program Display Configuration

Program Display Configuration

Sun 11 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Max S. New

University of Michigan

Sun 11 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change