HIW 2020 Contributors

Write a Blog >>

Fri 28 Aug 2020

co-located with ICFP 2020

Filter

Role Type

Contributing to

Number of Roles

Country

Results (31)

B Christiaan BaaijBaaij, Christiaan QBayLogic B.V.Netherlands Committee Member in Program Committee within the HIW-track
David BinderBinder, David University of Tübingen Updating Immutable Code
Joachim BreitnerBreitner, Joachim DFINITY FoundationGermany Embracing a Mechanized Formalization Gap: Interactive reasoning for Haskell at scale
C Christopher ChalmersChalmers, Christopher Myrtle.ai Circuit Notation Source Plugin
D Alfredo Di NapoliDi Napoli, Alfredo Well-Typed LLP Liquid Haskell as a GHC Plugin
E Satoshi EgiEgi, Satoshi Rakuten Institute of Technology, Rakuten, Inc. / The University of TokyoJapan Sweet Egison: a Haskell Library for Non-Deterministic Pattern Matching
G Ben GamariGamari, Ben Well-Typed LLPUnited States Closing GHC Status Update Chair in Program Committee within the HIW-track
Krzysztof GogolewskiGogolewski, Krzysztof Tweag I/O Implementation of linear types
H Hans HoeglundHoeglund, Hans Tweag I/O Asterius: bringing Haskell to WebAssembly
J Ranjit JhalaJhala, Ranjit University of California at San Diego, USA Liquid Haskell as a GHC Plugin
K Georgios KarachaliasKarachalias, Georgios Tweag I/ONetherlands Asterius: bringing Haskell to WebAssembly Committee Member in Program Committee within the HIW-track
Akira KawataKawata, Akira Kyoto University Sweet Egison: a Haskell Library for Non-Deterministic Pattern Matching
Mayuko KoriKori, Mayuko The University of Tokyo Sweet Egison: a Haskell Library for Non-Deterministic Pattern Matching
Dmitrii KovanikovKovanikov, Dmitrii Standard CharteredUnited Kingdom Stan — Haskell Static Analyser
L Yao LiLi, Yao University of PennsylvaniaUnited States Embracing a Mechanized Formalization Gap: Interactive reasoning for Haskell at scale
Andres LöhLöh, Andres Well-Typed LLP Liquid Haskell as a GHC Plugin
M Koar MarntirosianMarntirosian, Koar KU LeuvenBelgium Committee Member in Program Committee within the HIW-track
Andrey MokhovMokhov, Andrey Jane StreetUnited Kingdom Committee Member in Program Committee within the HIW-track
O Hiromi OgawaOgawa, Hiromi University of Tsukuba Sweet Egison: a Haskell Library for Non-Deterministic Pattern Matching
P Simon Peyton JonesPeyton Jones, Simon Microsoft, UK GHC Status Update
Matthew PickeringPickering, Matthew University of Bristol, UKUnited Kingdom Committee Member in Program Committee within the HIW-track
R Veronika RomashkinaRomashkina, Veronika NoneAzerbaijan Stan — Haskell Static Analyser
S Philipp SchusterSchuster, Philipp University of Tübingen, Germany Updating Immutable Code
Ryan ScottScott, Ryan Galois, Inc.United States Committee Member in Program Committee within the HIW-track
Cheng ShaoShao, Cheng Tweag I/O Asterius: bringing Haskell to WebAssembly
Hannes SiebenhandlSiebenhandl, Hannes None Multiple Home Units
Antal Spector-ZabuskySpector-Zabusky, Antal University of Pennsylvania Embracing a Mechanized Formalization Gap: Interactive reasoning for Haskell at scale
Arnaud SpiwackSpiwack, Arnaud Tweag I/OFrance Implementation of linear types
V Niki VazouVazou, Niki IMDEA Software Institute Liquid Haskell as a GHC Plugin
W Stephanie WeirichWeirich, Stephanie University of PennsylvaniaUnited States Embracing a Mechanized Formalization Gap: Interactive reasoning for Haskell at scale
Z Alan ZimmermanZimmerman, Alan South Africa Exactprint in GHC