HOPE 2023 Contributors

Mon 4 - Sat 9 September 2023 Seattle, Washington, United States

co-located with ICFP 2023

Filter

Role Type

Contributing to

Number of Roles

Country

Results (25)

B Casper Bach PoulsenBach Poulsen, Casper Delft University of TechnologyNetherlands Committee Member in Program Committee within the HOPE-track
Malgorzata BiernackaBiernacka, Malgorzata University of Wrocław Committee Member in Program Committee within the HOPE-track
William J. BowmanBowman, William J. University of British ColumbiaCanada One Weird Trick to Untie Landin's Knot
C Vikraman ChoudhuryChoudhury, Vikraman University of GlasgowUnited States Continuations and Coexponentials
Ezra e. k. CooperCooper, Ezra e. k. Independent Flattening Meets Effects: A Surprising Connection
F Simon FowlerFowler, Simon University of GlasgowUnited Kingdom Event-Driven Multiparty Session Actors
H Daniel HillerströmHillerström, Daniel Huawei Zurich Research CenterSwitzerland Session Chair of HOPE: Session 2 (part of HOPE) Session Chair of HOPE: Session 3 (part of HOPE) Co-chair in Program Committee within the HOPE-track
Raymond HuHu, Raymond Queen Mary University of LondonUnited Kingdom Event-Driven Multiparty Session Actors
J Guilhem JaberJaber, Guilhem Nantes UniversitéFrance Operational game semantics for generative algebraic effects and handlers
Hamza JaâfarJaâfar, Hamza Inria Operational game semantics for generative algebraic effects and handlers
K Ohad KammarKammar, Ohad University of EdinburghUnited Kingdom Semantic foundations of potential-synthesis for expected amortised-cost analysis
Shin-ya KatsumataKatsumata, Shin-ya National Institute of InformaticsJapan Committee Member in Program Committee within the HOPE-track
Oleg KiselyovKiselyov, Oleg Tohoku University Free Variable as Effect, in Practice
Paulette KoronkevichKoronkevich, Paulette University of British Columbia One Weird Trick to Untie Landin's Knot
Wiktor KuchtaKuchta, Wiktor University of Wrocław A proof of normalization for effect handlers
Satoshi KuraKura, Satoshi National Institute of Informatics Higher-Order Weakest Precondition Transformers via a CPS Transformation
M Cristina MatacheMatache, Cristina University of Edinburgh Committee Member in Program Committee within the HOPE-track
Craig McLaughlinMcLaughlin, Craig UNSW SydneyAustralia Committee Member in Program Committee within the HOPE-track
Georg MoserMoser, Georg University of Innsbruck Semantic foundations of potential-synthesis for expected amortised-cost analysis
N Max S. NewNew, Max S. University of Michigan Session Chair of HOPE: Session 4 (part of HOPE) Session Chair of HOPE: Session 1 (part of HOPE) Co-chair in Program Committee within the HOPE-track
James NobleNoble, James Research & ProgrammingNew Zealand Committee Member in Program Committee within the HOPE-track
Fredrik Nordvall ForsbergNordvall Forsberg, Fredrik University of StrathclydeUnited Kingdom Committee Member in Program Committee within the HOPE-track
R Nick RiouxRioux, Nick University of PennsylvaniaUnited States Granite: Compositional Functional Logic Programming
T Matías ToroToro, Matías University of ChileChile Committee Member in Program Committee within the HOPE-track
Z Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States Granite: Compositional Functional Logic Programming