Write a Blog >>
HOPE 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
co-located with ICFP 2018
Conference Editions
Sun 23 - Sat 29 September 2018, St. Louis, Missouri, United States

HOPE 2018 with ICFP 2018

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 SIGPLAN Workshop on Higher-Or ...

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 ...