Higher-Order Effectful Programs HOPE Workshop August 22, 2021 https://icfp21.sigplan.org/home/hope-2021 #programming #language