Haskell 2022 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (58)

A Lennart AugustssonAugustsson, Lennart Epic Games Committee Member in Program Committee within the Haskell-track
B Gershom BazermanBazerman, Gershom Arista Networks A Totally Predictable Outcome: An Investigation of Traversals of Infinite Structures
Jean-Philippe BernardyBernardy, Jean-Philippe University of Gothenburg, Sweden Committee Member in Program Committee within the Haskell-track
Alexander BernauerBernauer, Alexander PricewaterhouseCoopers Switzerland Eiger: Auditable, executable, flexible legal regulations
Henry BlanchetteBlanchette, Henry Liquid Proof Macros
Joachim BreitnerBreitner, Joachim Epic Games Germany Session Chair of GHC Proposals (part of Haskell) GHC Proposal Presentations
C Gerson CavalheiroCavalheiro, Gerson Universidade Federal de Pelotas Open Transactional Actions: Interacting with non-transactional resources in STM Haskell
James ChapmanChapman, James Input Output Reasonable Agda is Correct Haskell: Writing Verified Haskell using agda2hs
David Thrane ChristiansenChristiansen, David Thrane The Haskell FoundationDenmark Industrial Strength Laziness: What's Next? Demos
Jesper CockxCockx, Jesper TU DelftNetherlands Reasonable Agda is Correct Haskell: Writing Verified Haskell using agda2hs Demos
Jonathas Augusto de Oliveira ConceiçãoConceição, Jonathas Augusto de Oliveira Universidade Federal de Pelotas Open Transactional Actions: Interacting with non-transactional resources in STM Haskell
D Iavor DiatchkiDiatchki, Iavor Galois, Inc. Committee Member in Program Committee within the Haskell-track
André Rauber Du BoisDu Bois, André Rauber Universidade Federal de Pelotas Open Transactional Actions: Interacting with non-transactional resources in STM Haskell
E Richard A. EisenbergEisenberg, Richard A. Jane StreetUnited States Session Chair of Keynote I (part of Haskell) Eiger: Auditable, executable, flexible legal regulations
Gergo ErdiErdi, Gergo Standard Chartered Bank GHC Proposal Presentations
Lucas EscotEscot, Lucas TU Delft Reasonable Agda is Correct Haskell: Writing Verified Haskell using agda2hs
F Samuel FeitosaFeitosa, Samuel Universidade Federal da Fronteira Sul Open Transactional Actions: Interacting with non-transactional resources in STM Haskell
G Michael GaleGale, Michael TweagUnited Kingdom Committee Member in Program Committee within the Haskell-track
Matthías Páll GissurarsonGissurarson, Matthías Páll Chalmers University of Technology, SwedenSweden GHC Proposal Presentations Demos
Michael GreenbergGreenberg, Michael Stevens Institute of TechnologyUnited States How to Safely Use Extensionality in Liquid Haskell
H William T. HallahanHallahan, William T. Yale University Committee Member in Program Committee within the Haskell-track
Makoto HamanaHamana, Makoto Gunma University, JapanJapan Demos Committee Member in Program Committee within the Haskell-track
Andrew K. HirschHirsch, Andrew K. MPI-SWSGermany Committee Member in Program Committee within the Haskell-track
Celeste HollenbeckHollenbeck, Celeste University of Edinburgh Investigating Magic Numbers: Improving the Inlining Heuristic in the Glasgow Haskell Compiler
Alex HubersHubers, Alex The University of Iowa Partial Type Constructors in Practice
John HughesHughes, John Chalmers University of Technology, SwedenSweden Committee Member in Program Committee within the Haskell-track
I Apoorv IngleIngle, Apoorv University of IowaUnited States Partial Type Constructors in Practice
K Gabriele KellerKeller, Gabriele Utrecht UniversityNetherlands Embedded Pattern Matching
Alexis KingKing, Alexis Tweag Committee Member in Program Committee within the Haskell-track
Andreas KlebingerKlebinger, Andreas GHC Proposal Presentations
James KoppelKoppel, James Massachusetts Institute of Technology, USA Session Chair of Embedded DSLs (part of Haskell) Committee Member in Program Committee within the Haskell-track
L Leonidas LampropoulosLampropoulos, Leonidas University of Maryland, College ParkGreece Liquid Proof Macros
M Lykourgos MastorouMastorou, Lykourgos National Technical University of Athens Coinduction Inductively: Mechanizing Coinductive Proofs in Liquid Haskell
Rudy MatelaMatela, Rudy ChannableNetherlands Committee Member in Program Committee within the Haskell-track
Trevor L. McDonellMcDonell, Trevor L. Utrecht UniversityNetherlands Embedded Pattern Matching
Orestis MelkonianMelkonian, Orestis University of EdinburghUnited Kingdom Reasonable Agda is Correct Haskell: Writing Verified Haskell using agda2hs Demos
Joshua D. MeredithMeredith, Joshua D. IOHK Embedded Pattern Matching
J. Garrett MorrisMorris, J. Garrett The University of IowaUnited States Partial Type Constructors in Practice
N Ulf NorellNorell, Ulf Gothenburg UniversitySweden Reasonable Agda is Correct Haskell: Writing Verified Haskell using agda2hs
O Michael F. P. O'BoyleO'Boyle, Michael F. P. University of EdinburghUnited Kingdom Investigating Magic Numbers: Improving the Inlining Heuristic in the Glasgow Haskell Compiler
Dominic OrchardOrchard, Dominic University of Kent, UKUnited Kingdom Committee Member in Program Committee within the Haskell-track
P Nikolaos PapaspyrouPapaspyrou, Nikolaos National Technical University of AthensGreece Coinduction Inductively: Mechanizing Coinductive Proofs in Liquid Haskell
Simon Peyton JonesPeyton Jones, Simon Epic Games United Kingdom Session Chair of Keynote II (part of Haskell)
Nadia PolikarpovaPolikarpova, Nadia University of California at San DiegoUnited States Session Chair of Demos + Discussions (part of Haskell) Welcome PC Chair Report PC Chair in Program Committee within the Haskell-track
R Rodrigo G. RibeiroRibeiro, Rodrigo G. Federal University of Ouro Preto Open Transactional Actions: Interacting with non-transactional resources in STM Haskell
Rob RixRix, Rob GitHub, Inc.Canada Cause and Effect(s): Towards a More Programmable Haskell
S Tom SchrijversSchrijvers, Tom KU LeuvenBelgium Staging Regular Expressions with Moore Cayley Fusion
Eric SeidelSeidel, Eric Bridgewater AssociatesUnited States Committee Member in Program Committee within the Haskell-track
Satnam SinghSingh, Satnam GroqUnited States Session Chair of Applications (part of Haskell) Committee Member in Program Committee within the Haskell-track
Michel SteuwerSteuwer, Michel University of EdinburghUnited Kingdom Investigating Magic Numbers: Improving the Inlining Heuristic in the Glasgow Haskell Compiler
Wouter SwierstraSwierstra, Wouter Utrecht University, NetherlandsNetherlands Session Chair of Verification (part of Haskell) Committee Member in Program Committee within the Haskell-track
U Hiroshi UnnoUnno, Hiroshi University of Tsukuba; RIKEN AIPJapan Committee Member in Program Committee within the Haskell-track
V Lisa VasilenkoVasilenko, Lisa IMDEA Software InstituteSpain Demos
Marco VassenaVassena, Marco Utrecht UniversityNetherlands Session Chair of Compiler and Extensions (part of Haskell) Committee Member in Program Committee within the Haskell-track
Niki VazouVazou, Niki IMDEA Software Institute Coinduction Inductively: Mechanizing Coinductive Proofs in Liquid Haskell How to Safely Use Extensionality in Liquid Haskell Liquid Proof Macros
Dimitrios VytiniotisVytiniotis, Dimitrios DeepMindUnited Kingdom Committee Member in Program Committee within the Haskell-track
W Jamie WillisWillis, Jamie Imperial College London Staging Regular Expressions with Moore Cayley Fusion
Nicolas WuWu, Nicolas Imperial College LondonUnited Kingdom Staging Regular Expressions with Moore Cayley Fusion