HOPE 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States
co-located with ICFP 2023
All Editions
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States

HOPE 2023 with ICFP 2023

Workshop The HOPE workshop series are intended to bring together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. They are informal, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. They are dedicated to John Reynolds, whose work is an inspiration to us all. The 11th ACM SIGPLAN Workshop o ...

Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

HOPE 2022 with ICFP 2022

Workshop The HOPE workshop series are intended to bring together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. They are informal, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. They are dedicated to John Reynolds, whose work is an inspiration to us all. The 10th ACM SIGPLAN Workshop o ...

Sun 22 Aug 2021

HOPE 2021 with ICFP 2021

Live stream The workshop is streamed live here: https://youtu.be/ulGv9OpJvgQ Workshop The HOPE workshop series are intended to bring together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. They are informal, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. They are dedicated to John Rey ...

Sun 23 - Fri 28 August 2020

HOPE 2020 with ICFP 2020

The HOPE workshop series are intended to bring together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. They are informal, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. They are dedicated to John Reynolds, whose work is an inspiration to us all. The 8th ACM SIGPLAN Workshop on Higher-Or ...

Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States

HOPE 2018 with ICFP 2018

Videos are available online. The HOPE workshop series are intended to bring together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. They are informal, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. They are dedicated to John Reynolds, whose work is an inspiration to us all. The 7th ACM ...

Sun 3 Sep 2017 Oxford, United Kingdom

HOPE 2017 with ICFP 2017

The HOPE workshop series are intended to bring together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. They are informal, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. They are dedicated to John Reynolds, whose work is an inspiration to us all. The 6th ACM SIGPLAN Workshop on Higher-Or ...

Sun 18 - Sat 24 September 2016 Nara, Japan

HOPE 2016 with ICFP 2016

HOPE workshop aims at bringing together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. It will be informal, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. Goals of the Workshop A recurring theme in many papers at ICFP, and in the research of many ICFP attendees, is the interaction of h ...