HOPE 2026 Contributors

Mon 24 Aug 2026 Indianapolis, Indiana, United States

co-located with ICFP 2026

Filter

Role Type

Contributing to

Number of Roles

Country

Results (33)

B Yuyan BaoBao, Yuyan Augusta UniversityUnited States Committee Member in Program Committee within the HOPE-track
Jiří BenešBeneš, Jiří University of Tübingen Teaching Effect Handlers in the Wild
Marvin BornerBorner, Marvin University of TübingenGermany Experience Report: Graph Rewriting with Lexical Effect Handlers
Aghilas BoussaaBoussaa, Aghilas École normale supérieure - PSL Higher-order fork, modally
C Zachery CaseyCasey, Zachery Practical Extensions for Graded Monads
Raphaëlle CrubilléCrubillé, Raphaëlle CNRS A Radically Elementary Probabilistic Lambda-Calculus
Raphaëlle CrubilléCrubillé, Raphaëlle Committee Member in Program Committee within the HOPE-track
D Francesco DagninoDagnino, Francesco University of GenoaItaly Committee Member in Program Committee within the HOPE-track
Elena Di LavoreDi Lavore, Elena Tallinn University of TechnologyEstonia Committee Member in Program Committee within the HOPE-track
E Martin ElsmanElsman, Martin University of CopenhagenDenmark Modular Storage Mode Analysis
G Marco GaboardiGaboardi, Marco Boston UniversityUnited States Practical Extensions for Graded Monads
Francesco GavazzoGavazzo, Francesco University of Pisa, ItalyItaly Co-chair in Program Committee within the HOPE-track
Sergey GoncharovGoncharov, Sergey University of BirminghamUnited Kingdom Concurrent monads, clones, pomsets and their relationship Towards Light-Weight Operational Reasoning for Languages with Binders, Categorically
J Suresh JagannathanJagannathan, Suresh Purdue UniversityUnited States Synthesizing Runners Using Copatterns
Mengxiang JiangJiang, Mengxiang Orbifoldr: Classifying Wallpaper Groups via Functional Image Analysis in Haskell
K Shin-ya KatsumataKatsumata, Shin-ya Kyoto Sangyo UniversityJapan Practical Extensions for Graded Monads
L Sam LindleyLindley, Sam University of EdinburghUnited Kingdom Higher-order fork, modally
M Cristina MatacheMatache, Cristina University of Edinburgh Concurrent monads, clones, pomsets and their relationship
Cristina MatacheMatache, Cristina United Kingdom Committee Member in Program Committee within the HOPE-track
Loïs MichelMichel, Loïs A Radically Elementary Probabilistic Lambda-Calculus
P Hugo PaquetPaquet, Hugo Inria, École Normale SupérieureFrance Concurrent monads, clones, pomsets and their relationship
S Anmol SahooSahoo, Anmol Purdue University Synthesizing Runners Using Copatterns
Ken SakayoriSakayori, Ken University of TokyoJapan Committee Member in Program Committee within the HOPE-track
Luigi SantocanaleSantocanale, Luigi A Radically Elementary Probabilistic Lambda-Calculus
Philipp SchusterSchuster, Philipp University of TübingenGermany Repeatedly Handling Rejection
Sina SchäferSchäfer, Sina Repeatedly Handling Rejection
Taro SekiyamaSekiyama, Taro National Institute of InformaticsJapan Co-chair in Program Committee within the HOPE-track
Shivam SharmaSharma, Shivam Orbifoldr: Classifying Wallpaper Groups via Functional Image Analysis in Haskell
Dario SteinStein, Dario Netherlands Committee Member in Program Committee within the HOPE-track
T Wenhao TangTang, Wenhao The University of EdinburghUnited Kingdom Higher-order fork, modally
V Niels VoorneveldVoorneveld, Niels Cybernetica ASEstonia Committee Member in Program Committee within the HOPE-track
X Yichen XuXu, Yichen EPFL A Logical Perspective on Capturing Types
Y Zhixuan YangYang, Zhixuan Imperial College LondonUnited Kingdom Committee Member in Program Committee within the HOPE-track