HOPE 2020 Contributors

Sun 23 - Fri 28 August 2020

co-located with ICFP 2020

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (25)

Patrick Bahr IT University of Copenhagen Denmark Author of Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming within the HOPE 2020-track in HOPE 2020
Malgorzata Biernacka University of Wroclaw Committee Member in Program Committee within the HOPE-track
David Binder University of Tübingen Author of Towards Highly Symmetric Effects and Coeffects and a Systematic Separation between the Extra- and Intra-Logical within the HOPE 2020-track in HOPE 2020
Jonathan Immanuel Brachthäuser University of Tübingen, Germany Author of Higher-order Programming with Effects and Handlers — without First-Class Functions within the HOPE 2020-track in HOPE 2020
Martin Ceresa UNR - CIFASIS - CONICET Author of Effectful Improvement Theory within the HOPE 2020-track in HOPE 2020
Raphaëlle Crubillé Committee Member in Program Committee within the HOPE-track
Paul Downen University of Oregon, USA Committee Member in Program Committee within the HOPE-track
Francesco Gavazzo Committee Member in Program Committee within the HOPE-track
Sergey Goncharov FAU Erlangen-Nürnberg, Lehrstuhl 8 Germany Committee Member in Program Committee within the HOPE-track
Christian Uldal Graulund IT University of Copenhagen Denmark Author of Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming within the HOPE 2020-track in HOPE 2020
Guilhem Jaber Université de Nantes France Author of Kripke open relations and operational game semantics within the HOPE 2020-track in HOPE 2020
Julian Jabs University of Tübingen Author of Towards Highly Symmetric Effects and Coeffects and a Systematic Separation between the Extra- and Intra-Logical within the HOPE 2020-track in HOPE 2020
Jacques-Henri Jourdan Universersité Paris Saclay, CNRS, LRI France Committee Member in Program Committee within the HOPE-track
Ohad Kammar University of Edinburgh United Kingdom Co-chair in Organizing Committee within the HOPE-track
Daan Leijen Microsoft Research, USA United States Committee Member in Program Committee within the HOPE-track
Paul Blain Levy University of Birmingham United Kingdom Invited Speaker of Variants of call-by-push-value within the HOPE 2020-track in HOPE 2020
Antonio Locascio Universidad Nacional de Rosario Author of Alef: A bidirectional effect system for algebraic effects. within the HOPE 2020-track in HOPE 2020
Agata Murawska University of Copenhagen Denmark Committee Member in Program Committee within the HOPE-track
Andrzej Murawski University of Oxford United Kingdom Author of Kripke open relations and operational game semantics within the HOPE 2020-track in HOPE 2020
Rasmus Ejlers Møgelberg IT University of Copenhagen Denmark Author of Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming within the HOPE 2020-track in HOPE 2020
Philipp Schuster University of Tübingen, Germany Author of Higher-order Programming with Effects and Handlers — without First-Class Functions within the HOPE 2020-track in HOPE 2020
Filip Sieczkowski University of Wrocław Poland Co-chair in Organizing Committee within the HOPE-track
Ingo Skupin University of Tübingen Author of Towards Highly Symmetric Effects and Coeffects and a Systematic Separation between the Extra- and Intra-Logical within the HOPE 2020-track in HOPE 2020
Tarmo Uustalu Reykjavik University, Tallinn University of Technology Iceland Author of Merging coeffect production into effect handling within the HOPE 2020-track in HOPE 2020
Niels Voorneveld Tallinn University of Technology Estonia Author of Merging coeffect production into effect handling within the HOPE 2020-track in HOPE 2020