HOPE 2020 Contributors

Sun 23 - Fri 28 August 2020

co-located with ICFP 2020

Filter

Role Type

Contributing to

Number of Roles

Country

Results (25)

B Patrick BahrBahr, Patrick IT University of CopenhagenDenmark Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming
Malgorzata BiernackaBiernacka, Malgorzata University of Wroclaw Committee Member in Program Committee within the HOPE-track
David BinderBinder, David University of Tübingen Towards Highly Symmetric Effects and Coeffects and a Systematic Separation between the Extra- and Intra-Logical
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel University of Tübingen, Germany Higher-order Programming with Effects and Handlers — without First-Class Functions
C Martin CeresaCeresa, Martin UNR - CIFASIS - CONICET Effectful Improvement Theory
Raphaëlle CrubilléCrubillé, Raphaëlle Committee Member in Program Committee within the HOPE-track
D Paul DownenDownen, Paul University of Oregon, USA Committee Member in Program Committee within the HOPE-track
G Francesco GavazzoGavazzo, Francesco Committee Member in Program Committee within the HOPE-track
Sergey GoncharovGoncharov, Sergey FAU Erlangen-Nürnberg, Lehrstuhl 8Germany Committee Member in Program Committee within the HOPE-track
Christian Uldal GraulundGraulund, Christian Uldal IT University of CopenhagenDenmark Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming
J Guilhem JaberJaber, Guilhem Université de NantesFrance Kripke open relations and operational game semantics
Julian JabsJabs, Julian University of Tübingen Towards Highly Symmetric Effects and Coeffects and a Systematic Separation between the Extra- and Intra-Logical
Jacques-Henri JourdanJourdan, Jacques-Henri Universersité Paris Saclay, CNRS, LRIFrance Committee Member in Program Committee within the HOPE-track
K Ohad KammarKammar, Ohad University of EdinburghUnited Kingdom Co-chair in Organizing Committee within the HOPE-track
L Daan LeijenLeijen, Daan Microsoft Research, USAUnited States Committee Member in Program Committee within the HOPE-track
Paul Blain LevyLevy, Paul Blain University of BirminghamUnited Kingdom Variants of call-by-push-value
Antonio LocascioLocascio, Antonio Universidad Nacional de Rosario Alef: A bidirectional effect system for algebraic effects.
M Agata MurawskaMurawska, Agata University of CopenhagenDenmark Committee Member in Program Committee within the HOPE-track
Andrzej MurawskiMurawski, Andrzej University of OxfordUnited Kingdom Kripke open relations and operational game semantics
Rasmus Ejlers MøgelbergMøgelberg, Rasmus Ejlers IT University of CopenhagenDenmark Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming
S Philipp SchusterSchuster, Philipp University of Tübingen, Germany Higher-order Programming with Effects and Handlers — without First-Class Functions
Filip SieczkowskiSieczkowski, Filip University of WrocławPoland Co-chair in Organizing Committee within the HOPE-track
Ingo SkupinSkupin, Ingo University of Tübingen Towards Highly Symmetric Effects and Coeffects and a Systematic Separation between the Extra- and Intra-Logical
U Tarmo UustaluUustalu, Tarmo Reykjavik University, Tallinn University of TechnologyIceland Merging coeffect production into effect handling
V Niels VoorneveldVoorneveld, Niels Tallinn University of TechnologyEstonia Merging coeffect production into effect handling