Haskell 2023 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (46)

A Aaron AllenAllen, Aaron Haskell Summer of Code Presentations
C David Thrane ChristiansenChristiansen, David Thrane The Haskell FoundationDenmark Committee Member in Program Committee within the Haskell-track
Koen ClaessenClaessen, Koen Chalmers University of TechnologySweden HasTEE: Programming Trusted Execution Environments with Haskell
Jesper CockxCockx, Jesper Delft University of TechnologyNetherlands Committee Member in Program Committee within the Haskell-track
D Ugo Dal LagoDal Lago, Ugo University of Bologna; InriaItaly Committee Member in Program Committee within the Haskell-track
Edsko de Vriesde Vries, Edsko Well-Typed LLPNetherlands Session Chair of Haskell: Session 1 (part of Haskell) falsify: Internal Shrinking Reimagined for Haskell Committee Member in Program Committee within the Haskell-track
Frank DeddenDedden, Frank System F Computing The Essence of Reactivity
Facundo DomínguezDomínguez, Facundo TweagUruguay Session Chair of Haskell: Session 2 (part of Haskell) Committee Member in Program Committee within the Haskell-track
E Segev Elazar MittelmanElazar Mittelman, Segev University of Maryland, College Park Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing
G Michael GaleGale, Michael GitHubUnited Kingdom This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs
Alwyn GoodloeGoodloe, Alwyn NASA Langley Research Center Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing
Alexander GreenGreen, Alexander Standard CharteredUnited Kingdom Committee Member in Program Committee within the Haskell-track
H Makoto HamanaHamana, Makoto Gunma University, JapanJapan Verifying Haskell's Rewrite Rules based on Polymorphic Rewriting Theory
Graham HuttonHutton, Graham University of Nottingham, UKUnited Kingdom Committee Member in Program Committee within the Haskell-track
I Hideya IwasakiIwasaki, Hideya Meiji University Haskell Library for Safer Virtual Machine Introspection (Experience Report)
K Finnbar KeatingKeating, Finnbar University of WarwickUnited Kingdom This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs
Wen KokkeKokke, Wen University of Edinburgh Committee Member in Program Committee within the Haskell-track
Robert KrookKrook, Robert Chalmers University of Technology, Sweden HasTEE: Programming Trusted Execution Environments with Haskell
Lindsey KuperKuper, Lindsey University of California, Santa CruzUnited States An Exceptional Actor System (Functional Pearl)
L Leonidas LampropoulosLampropoulos, Leonidas University of Maryland, College ParkGreece Session Chair of Haskell: Keynote 2 (part of Haskell) Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing Committee Member in Program Committee within the Haskell-track
Yuxi LongLong, Yuxi Duke University A Haskell Auto-Parallelizer for Distributed Computing
M Trevor L. McDonellMcDonell, Trevor L. Utrecht UniversityNetherlands Co-chair in Program Committee within the Haskell-track
N Rumyana NeykovaNeykova, Rumyana Brunel University London Committee Member in Program Committee within the Haskell-track
Minh NguyenNguyen, Minh University of BristolUnited Kingdom Effect Handlers for Programmable Inference
Jose Nuno OliveiraNuno Oliveira, Jose University of Minho; INESC TECPortugal Committee Member in Program Committee within the Haskell-track
O Takato OtsukaOtsuka, Takato The University of Electro-Communications Haskell Library for Safer Virtual Machine Introspection (Experience Report)
P Jennifer PaykinPaykin, Jennifer IntelUnited States Committee Member in Program Committee within the Haskell-track
Roly PereraPerera, Roly Alan Turing InstituteUnited Kingdom Effect Handlers for Programmable Inference
Ivan PerezPerez, Ivan NASA Ames Research Center The Essence of Reactivity Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing
R Steven RamsayRamsay, Steven University of BristolUnited Kingdom Effect Handlers for Programmable Inference
Patrick RedmondRedmond, Patrick University of California at Santa Cruz An Exceptional Actor System (Functional Pearl)
Aviel ResnickResnick, Aviel University of Pennsylvania Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing
Exequiel RivasRivas, Exequiel Tallinn University of Technology Committee Member in Program Committee within the Haskell-track
Alejandro RussoRusso, Alejandro Chalmers University of Technology, SwedenArgentina HasTEE: Programming Trusted Execution Environments with Haskell
S Abhiroop SarkarSarkar, Abhiroop Chalmers University of TechnologySweden HasTEE: Programming Trusted Execution Environments with Haskell
Antal Spector-ZabuskySpector-Zabusky, Antal Session Chair of Haskell: Session 3 (part of Haskell)
Michael SperberSperber, Michael Active Group GmbHGermany Committee Member in Program Committee within the Haskell-track
Michel SteuwerSteuwer, Michel Technische Universität Berlin / University of EdinburghGermany Committee Member in Program Committee within the Haskell-track
V Jasper Van der JeugtVan der Jeugt, Jasper SnykSwitzerland Committee Member in Program Committee within the Haskell-track
Niki VazouVazou, Niki IMDEA Software Institute Session Chair of Haskell: Demos (part of Haskell) Session Chair of Haskell: Keynote 1 (part of Haskell) Welcome PC Chair Report Co-chair in Program Committee within the Haskell-track
W Meng WangWang, Meng University of BristolUnited Kingdom Effect Handlers for Programmable Inference
Nicolas WuWu, Nicolas Imperial College LondonUnited Kingdom The Evolution of Effects
Shiyou WuWu, Shiyou Duke University A Haskell Auto-Parallelizer for Distributed Computing
X Ningning XieXie, Ningning University of TorontoCanada Haskell for choice-based learning
Yingjie XuXu, Yingjie Duke University A Haskell Auto-Parallelizer for Distributed Computing
Z Florian ZulegerZuleger, Florian TU ViennaAustria Committee Member in Program Committee within the Haskell-track