HIW 2018 Contributors -

Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States

co-located with ICFP 2018

Filter

Role Type

Contributing to

Number of Roles

Country

Results (23)

B Christiaan BaaijBaaij, Christiaan QBayLogic B.V. Clash: a practical Haskell to circuit compiler
Edwin BradyBrady, Edwin University of St. Andrews, UKUnited Kingdom Committee Member in Program Committee within the HIW-track
Joachim BreitnerBreitner, Joachim DFINITY FoundationGermany Session Chair of Tools and Hardware (part of HIW) Session Chair of Invited Talk (part of HIW) Welcome to HIW Program Chair in Program Committee within the HIW-track
E Richard A. EisenbergEisenberg, Richard A. Bryn Mawr College, USAUnited States Coercion Quantification
G Ben GamariGamari, Ben Well-Typed LLP Session Chair of GHC (part of HIW) Committee Member in Program Committee within the HIW-track
Samuel GélineauGélineau, Samuel SimSpaceCanada Lightning talk: The trick which makes exceptions-0.10.0 possible
H Michael HanusHanus, Michael Kiel UniversityGermany Committee Member in Program Committee within the HIW-track
J Judah JacobsonJacobson, Judah Pier: yet another Haskell build tool
K Andreas KlebingerKlebinger, Andreas Lightning talk: Perfomance impact of control flow optimization
L Roman LeshchinskiyLeshchinskiy, Roman FacebookUnited Kingdom Committee Member in Program Committee within the HIW-track
M Rahul MuttineniMuttineni, Rahul TypeLead Invited Talk: Let’s Go Mainstream with Eta!
N My NguyenNguyen, My Bryn Mawr College Type-level visible type application
P Simon Peyton JonesPeyton Jones, Simon Microsoft, UK GHC Update GHC Community Discussion
Matthew PickeringPickering, Matthew University of BristolUnited Kingdom Source Plugins Implementing Linear Haskell
R Matthew RussellRussell, Matthew SimSpace Lightning talk: Implementing a VMware Haskell Client with Extensible Records
S Ryan ScottScott, Ryan Indiana University at Bloomington, USAUnited States Generalized Abstract GHC.Generics
Cheng ShaoShao, Cheng Tweag I/O Lightning talk: Asterius: Bringing Haskell to WebAssembly
Chris SmithSmith, Chris Google, USA Lightning talk: CodeWorld: Teaching Haskell and mathematics to children
Antal Spector-ZabuskySpector-Zabusky, Antal Lightning talk: CoreSpec: Verifying GHC with hs-to-coq
Arnaud SpiwackSpiwack, Arnaud Tweag I/OFrance Implementing Linear Haskell
V Niki VazouVazou, Niki University of Maryland, USA Session Chair of Types (part of HIW) Committee Member in Program Committee within the HIW-track
X Ningning XieXie, Ningning The University of Hong KongChina Coercion Quantification
Y Matthew YacavoneYacavone, Matthew Lightning talk: More Explicit Foralls in GHC