Haskell 2019 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (58)

A Justus AdamAdam, Justus Technische Universität DresdenGermany STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism
Zena M. AriolaAriola, Zena M. University of Oregon, USA Making a Faster Curry with Extensional Types
Lennart AugustssonAugustsson, Lennart Haskell Use and Abuse at Scale
B Christiaan BaaijBaaij, Christiaan QBayLogic B.V.Netherlands Session Chair of Paper Session 4: Metaprogramming (part of Haskell) Committee Member in Program Committee within the Haskell-track
Niels BunkenburgBunkenburg, Niels University of Kiel, GermanyGermany Verifying Effectful Haskell Programs in Coq
Manuel BärenzBärenz, Manuel sonnen eServices GmbH The essence of live coding: Change the program, keep the state!
C Jose CalderonCalderon, Jose Galois, Inc.United States Session Chair of Paper Session 1: Classes & Instances (part of Haskell) Committee Member in Program Committee within the Haskell-track
Jeronimo CastrillonCastrillon, Jeronimo TU Dresden, GermanyGermany STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism
Jan ChristiansenChristiansen, Jan Flensburg University of Applied Sciences, Germany Verifying Effectful Haskell Programs in Coq
D Benjamin DelawareDelaware, Benjamin Purdue University Committee Member in Program Committee within the Haskell-track
Michiel DerhaegDerhaeg, Michiel Guardsquare Bidirectional Type Class Instances
Dominique DevrieseDevriese, Dominique Vrije Universiteit BrusselBelgium Modular effects in Haskell through effect polymorphism and explicit dictionary applications - A new approach and the μVeriFast verifier as a case study
Paul DownenDownen, Paul University of Oregon, USA Making a Faster Curry with Extensional Types
Zubin DuggalDuggal, Zubin Solving Haskell equality constraints using Coq
Sandra DylusDylus, Sandra University of Kiel, GermanyGermany Verifying Effectful Haskell Programs in Coq
E Richard A. EisenbergEisenberg, Richard A. Bryn Mawr College, USAUnited States Session Chair of Keynote (part of Haskell) PC Chair Report Chair in Program Committee within the Haskell-track
Anton EkbladEkblad, Anton Chalmers University of TechnologySweden Scoping Monadic Relational Database Queries
Sebastian ErtelErtel, Sebastian STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism
F Bernd FinkbeinerFinkbeiner, Bernd Synthesizing Functional Reactive Programs
G Andrés GoensGoens, Andrés STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism
H Jennifer HackettHackett, Jennifer University of Nottingham, UKUnited Kingdom Committee Member in Program Committee within the Haskell-track
William T. HallahanHallahan, William T. Yale University G2Q: Haskell Constraint Solving
J Mauro JaskelioffJaskelioff, Mauro CONICET, ArgentinaArgentina Monad Transformers and Modular Algebraic Effects: What Binds Them Together
K Georgios KarachaliasKarachalias, Georgios KU Leuven, BelgiumBelgium Bidirectional Type Class Instances
Csongor KissKiss, Csongor Imperial College LondonUnited Kingdom Multi-Stage Programs in Context
Felix KleinKlein, Felix Saarland UniversityGermany Synthesizing Functional Reactive Programs
L Jakob LechnerLechner, Jakob RUAG Space Austria GmbH Formal Verification of Spacecraft Control Programs: An Experience Report
Georgy LukyanovLukyanov, Georgy Newcastle University, UKUnited Kingdom Formal Verification of Spacecraft Control Programs: An Experience Report
M Kazutaka MatsudaMatsuda, Kazutaka Tohoku University, JapanJapan Committee Member in Program Committee within the Haskell-track
Trevor L. McDonellMcDonell, Trevor L. Utrecht UniversityNetherlands Committee Member in Program Committee within the Haskell-track
Andrey MokhovMokhov, Andrey Newcastle University, UKUnited Kingdom Formal Verification of Spacecraft Control Programs: An Experience Report
N Ryan R. NewtonNewton, Ryan R. Indiana UniversityUnited States Generic and Flexible Defaults for Verified, Law-Abiding Type-Class Instances
Boldizsár NémethNémeth, Boldizsár Eötvös Loránd University Working with Source Plugins
P Koen PauwelsPauwels, Koen KU Leuven Bidirectional Type Class Instances
Ivan PerezPerez, Ivan NIA / NASA Formal Methods Committee Member in Program Committee within the Haskell-track
Simon Peyton JonesPeyton Jones, Simon Microsoft, UK Making a Faster Curry with Extensional Types
Matthew PickeringPickering, Matthew University of BristolUnited Kingdom Multi-Stage Programs in Context Working with Source Plugins
Maciej PirógPiróg, Maciej University of WrocławPoland Monad Transformers and Modular Algebraic Effects: What Binds Them Together
Ruzica PiskacPiskac, Ruzica Yale University, USA Synthesizing Functional Reactive Programs G2Q: Haskell Constraint Solving
Nadia PolikarpovaPolikarpova, Nadia University of California, San DiegoUnited States Committee Member in Program Committee within the Haskell-track
R Norman RamseyRamsey, Norman Tufts UniversityUnited States Committee Member in Program Committee within the Haskell-track
Norman A. RinkRink, Norman A. TU Dresden, Germany STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism
Christine RizkallahRizkallah, Christine UNSW SydneyAustralia Session Chair of Paper Session 5: FRP (part of Haskell) Committee Member in Program Committee within the Haskell-track
S Mark SantolucitoSantolucito, Mark Yale University, USA Synthesizing Functional Reactive Programs
Tom SchrijversSchrijvers, Tom KU Leuven Bidirectional Type Class Instances Monad Transformers and Modular Algebraic Effects: What Binds Them Together
Ryan ScottScott, Ryan Indiana University at Bloomington, USAUnited States Generic and Flexible Defaults for Verified, Law-Abiding Type-Class Instances
Eric SeidelSeidel, Eric Bloomberg LPUnited States Session Chair of Paper Session 3: SMT & Arity (part of Haskell) Committee Member in Program Committee within the Haskell-track
Alejandro SerranoSerrano, Alejandro Utrecht University, NetherlandsNetherlands Committee Member in Program Committee within the Haskell-track
Mary SheeranSheeran, Mary Gender equality in academia: meeting the challenge
Satnam SinghSingh, Satnam Google ResearchUnited States Haskell Use and Abuse at Scale
Zachary SullivanSullivan, Zachary Making a Faster Curry with Extensional Types
V Niki VazouVazou, Niki IMDEA Software Institute Session Chair of Keynote (part of Haskell)
W John WiegleyWiegley, John Committee Member in Program Committee within the Haskell-track
Thomas WinantWinant, Thomas Well-Typed LLPBelgium Committee Member in Program Committee within the Haskell-track
Nicolas WuWu, Nicolas Imperial College LondonUnited Kingdom Monad Transformers and Modular Algebraic Effects: What Binds Them Together Multi-Stage Programs in Context Working with Source Plugins
X Ningning XieXie, Ningning The University of Hong KongChina Session Chair of Paper Session 2: Verification (part of Haskell) Committee Member in Program Committee within the Haskell-track
Anton XueXue, Anton Yale University G2Q: Haskell Constraint Solving
Y Ki Yung AhnYung Ahn, Ki Hannam UniversitySouth Korea Session Chair of Paper Session 6: Effects (part of Haskell) Committee Member in Program Committee within the Haskell-track