Haskell 2018 Contributors -

Filter

Role Type

Contributing to

Number of Roles

Country

Results (49)

A Michael D. AdamsAdams, Michael D. University of UtahUnited States Session Chair of Session 1 (part of Haskell) Committee Member in Program Committee within the Haskell-track
B Patrick BahrBahr, Patrick IT University of CopenhagenDenmark Committee Member in Program Committee within the Haskell-track
Baldur BlöndalBlöndal, Baldur n.n., n.n. Deriving Via: or, How to Turn Hand-Written Instances into an Anti-pattern
Joachim BreitnerBreitner, Joachim DFINITY FoundationGermany A Promise Checked Is a Promise Kept: Inspection Testing Theorem Proving for All: Equational Reasoning in Liquid Haskell (Functional Pearl) Type Variables in Patterns
Manuel BärenzBärenz, Manuel University of Vienna, Austria Rhine: FRP with Type-Level Clocks
C Olaf ChitilChitil, Olaf University of Kent, UK Committee Member in Program Committee within the Haskell-track
D Nils Anders DanielssonDanielsson, Nils Anders University of Gothenburg, Chalmers University of Technology Committee Member in Program Committee within the Haskell-track
Guido De LucaDe Luca, Guido Universidad Nacional de Rosario, Argentina Improving Typeclass Relations by Being Open
Dominique DevrieseDevriese, Dominique Vrije Universiteit Brussel, BelgiumBelgium Coherent Explicit Dictionary Application for Haskell
Iavor DiatchkiDiatchki, Iavor Galois, Inc. Session Chair of Session 4 (part of Haskell)
E Richard A. EisenbergEisenberg, Richard A. Bryn Mawr College, USAUnited States Type Variables in Patterns The Thoralf Plugin: For Your Fancy Type Needs
F Kathleen FisherFisher, Kathleen Tufts University, USAUnited States Autobahn 2.0: Minimizing Bangs while Maintaining Performance (System Demonstration)
G Matthías Páll GissurarsonGissurarson, Matthías Páll Chalmers University of Technology, SwedenSweden Suggesting Valid Hole Fits for Typed-Holes (Experience Report)
H Dong HanHan, Dong Beijing Bytedance, ChinaChina A High-Performance Multicore IO Manager Based on libuv (Experience Report)
Martin A. T. HandleyHandley, Martin A. T. University of Nottingham, UK AutoBench: Comparing the Time Performance of Haskell Programs
Tao HeHe, Tao Beijing Bytedance, China A High-Performance Multicore IO Manager Based on libuv (Experience Report)
John HughesHughes, John Chalmers University of Technology, Sweden Branching Processes for QuickCheck Generators
Graham HuttonHutton, Graham University of Nottingham, UKUnited Kingdom AutoBench: Comparing the Time Performance of Haskell Programs Theorem Proving for All: Equational Reasoning in Liquid Haskell (Functional Pearl) Committee Member in Program Committee within the Haskell-track
J Mauro JaskelioffJaskelioff, Mauro CONICET, ArgentinaArgentina Improving Typeclass Relations by Being Open Committee Member in Program Committee within the Haskell-track
K Oleg KiselyovKiselyov, Oleg Committee Member in Program Committee within the Haskell-track
Rose KunkelKunkel, Rose University of Maryland, USA Theorem Proving for All: Equational Reasoning in Liquid Haskell (Functional Pearl)
L Sam LindleyLindley, Sam University of Edinburgh, UKUnited Kingdom Session Chair of Session 2 (part of Haskell) Committee Member in Program Committee within the Haskell-track
Andres LöhLöh, Andres Well-Typed, UK Deriving Via: or, How to Turn Hand-Written Instances into an Anti-pattern Committee Member in Program Committee within the Haskell-track
M Simon MarlowMarlow, Simon Facebook Session Chair of Session 7 (part of Haskell)
Guido MartínezMartínez, Guido CIFASIS-CONICET, ArgentinaArgentina Improving Typeclass Relations by Being Open
Kazutaka MatsudaMatsuda, Kazutaka Tohoku University, JapanJapan Embedding Invertible Languages with Binders: A Case of the FliPpr Language
Victor Cacciari MiraldoMiraldo, Victor Cacciari Utrecht University, Netherlands Generic Programming of All Kinds
Agustín MistaMista, Agustín Universidad Nacional de Rosario, ArgentinaArgentina Branching Processes for QuickCheck Generators
N Matt NoonanNoonan, Matt Kataskeue, USA Ghosts of Departed Proofs (Functional Pearl)
O Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong Kong, ChinaHong Kong Committee Member in Program Committee within the Haskell-track
Divesh OtwaniOtwani, Divesh Haverford College, USA The Thoralf Plugin: For Your Fancy Type Needs
P Ivan PerezPerez, Ivan National Institute of Aerospace, USA Rhine: FRP with Type-Level Clocks
Simon Peyton JonesPeyton Jones, Simon Microsoft, UK Type Variables in Patterns
Maciej PirógPiróg, Maciej University of WrocławPoland Committee Member in Program Committee within the Haskell-track
R Wren RomanoRomano, Wren XUnited States Committee Member in Program Committee within the Haskell-track
Andreas RossbergRossberg, Andreas DfinityGermany Neither Web nor Assembly (Invited Talk)
Alejandro RussoRusso, Alejandro Chalmers University of Technology, SwedenArgentina Branching Processes for QuickCheck Generators
S Ryan ScottScott, Ryan Indiana University at Bloomington, USAUnited States Deriving Via: or, How to Turn Hand-Written Instances into an Anti-pattern
Alejandro SerranoSerrano, Alejandro Utrecht University, NetherlandsNetherlands Generic Programming of All Kinds
Mark ShinwellShinwell, Mark Committee Member in Program Committee within the Haskell-track
Marilyn SunSun, Marilyn Tufts University, USA Autobahn 2.0: Minimizing Bangs while Maintaining Performance (System Demonstration)
V David Van HornVan Horn, David University of Maryland, USA Theorem Proving for All: Equational Reasoning in Liquid Haskell (Functional Pearl)
Niki VazouVazou, Niki University of Maryland, USA Session Chair of Session 5 (part of Haskell) Theorem Proving for All: Equational Reasoning in Liquid Haskell (Functional Pearl) Committee Member in Program Committee within the Haskell-track
Marcos VieraViera, Marcos University of the Republic, Uruguay Committee Member in Program Committee within the Haskell-track
W Meng WangWang, Meng University of Bristol, UKUnited Kingdom Embedding Invertible Languages with Binders: A Case of the FliPpr Language
Thomas WinantWinant, Thomas KU Leuven, Belgium Coherent Explicit Dictionary Application for Haskell
Nicolas WuWu, Nicolas University of Bristol, UKUnited Kingdom Session Chair of Keynote (part of Haskell) Closing Statement Welcome and Chair's Report Program Chair in Program Committee within the Haskell-track
Y Ryan YatesYates, Ryan Session Chair of Session 3 (part of Haskell) Committee Member in Program Committee within the Haskell-track
Brent YorgeyYorgey, Brent Hendrix CollegeUnited States Session Chair of Session 6 (part of Haskell) Committee Member in Program Committee within the Haskell-track