Haskell 2025 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (52)

A Andreas AbelAbel, Andreas Gothenburg UniversitySweden Committee Member in Program Committee within the Haskell-track
B Patrick BahrBahr, Patrick IT University of CopenhagenDenmark The Calculated Typer (Functional Pearl) Committee Member in Program Committee within the Haskell-track
Lucas BangBang, Lucas Harvey Mudd College [CANCELED] Adaptive Search Synthesis as a Recursion Scheme
C Travis CardwellCardwell, Travis Well-Typed LLP Automatic C bindings generation for Haskell
Manuel M. T. ChakravartyChakravarty, Manuel M. T. IOHKNetherlands Plinth: A Plugin-Powered Language Built on Haskell (Experience Report)
Jimmy ChenChen, Jimmy Stanford University [CANCELED] Adaptive Search Synthesis as a Recursion Scheme
D Noé De SantoDe Santo, Noé University of PennsylvaniaUnited States Rebound: Efficient, expressive, and well-scoped binding
Edsko de Vriesde Vries, Edsko Well-Typed LLPNetherlands Automatic C bindings generation for Haskell
Sam DerbyshireDerbyshire, Sam Well-Typed LLP Automatic C bindings generation for Haskell
E Richard A. EisenbergEisenberg, Richard A. Jane StreetUnited States A Tale of Two Lambdas: A Haskeller's Journey into OCaml
F Matthew FluetFluet, Matthew Rochester Institute of TechnologyUnited States Committee Member in Program Committee within the Haskell-track
G Emma GandonouGandonou, Emma Pomona College [CANCELED] Adaptive Search Synthesis as a Recursion Scheme
Zac GarbyGarby, Zac University of NottinghamUnited Kingdom The Calculated Typer (Functional Pearl)
Adam GundryGundry, Adam Well-Typed LLPUnited Kingdom Committee Member in Program Committee within the Haskell-track
H Xuehuai HeHe, Xuehuai Yale University [CANCELED] Adaptive Search Synthesis as a Recursion Scheme
Graham HuttonHutton, Graham University of NottinghamUnited Kingdom The Calculated Typer (Functional Pearl)
I Hideya IwasakiIwasaki, Hideya Meiji University Committee Member in Program Committee within the Haskell-track
J Patricia JohannJohann, Patricia Appalachian State University Committee Member in Program Committee within the Haskell-track
Michael Peyton JonesJones, Michael Peyton Input Output, United Kingdom Plinth: A Plugin-Powered Language Built on Haskell (Experience Report)
K Roman KireevKireev, Roman Input Output, United Kingdom Plinth: A Plugin-Powered Language Built on Haskell (Experience Report)
Samuel KlumpersKlumpers, Samuel KU Leuven, Belgium Staging Automatic Differentiation with Fusion
Hsiang-Shang ‘Josh’ KoKo, Hsiang-Shang ‘Josh’ Institute of Information Science, Academia SinicaTaiwan Committee Member in Program Committee within the Haskell-track
András KovácsKovács, András University of Gothenburg and Chalmers University of Technology Committee Member in Program Committee within the Haskell-track
Nikolai KudasovKudasov, Nikolai Innopolis UniversityRussia typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
Lindsey KuperKuper, Lindsey University of California, Santa CruzUnited States Freer Arrows and Why You Need Them in Haskell
L Justin LeLe, Justin Machine Learning Primitives as Algebraic Effects Four Years of Embedded Haskell in Critical Real-Time Systems: Lessons and Insights
Yao LiLi, Yao Portland State UniversityUnited States Freer Arrows and Why You Need Them in Haskell
Ziyang LiuLiu, Ziyang Input Output, USA Plinth: A Plugin-Powered Language Built on Haskell (Experience Report)
Anton LorenzenLorenzen, Anton University of EdinburghUnited Kingdom Lightweight Testing of Persistent Amortized Time Complexity in the Credit Monad
Andres LöhLöh, Andres Well-Typed LLPUnited Kingdom Committee Member in Program Committee within the Haskell-track
M Kenneth MacKenzieMacKenzie, Kenneth Input Output, United Kingdom Plinth: A Plugin-Powered Language Built on Haskell (Experience Report)
José Pedro MagalhãesMagalhães, José Pedro Standard Chartered BankUnited Kingdom Session Chair of Compiler (part of Haskell)
J. Garrett MorrisMorris, J. Garrett University of IowaUnited States Chair's report Welcome Co-chair in Program Committee within the Haskell-track
O Liam O'ConnorO'Connor, Liam Australian National UniversityAustralia Session Chair of Types and monads (part of Haskell) Committee Member in Program Committee within the Haskell-track
P Simon Peyton JonesPeyton Jones, Simon Epic Games United Kingdom Join points in practice
Maciej PirógPiróg, Maciej University of WrocławPoland Committee Member in Program Committee within the Haskell-track
Eli PregersonPregerson, Eli Stony Brook University [CANCELED] Adaptive Search Synthesis as a Recursion Scheme
S Dominik SchrempfSchrempf, Dominik Well-Typed LLPAustria Automatic C bindings generation for Haskell
Tom SchrijversSchrijvers, Tom KU LeuvenBelgium Staging Automatic Differentiation with Fusion
Gan ShenShen, Gan University of California at Santa CruzUnited States Freer Arrows and Why You Need Them in Haskell
Arnaud SpiwackSpiwack, Arnaud TweagFrance Session Chair of Keynote + Research paper (part of Haskell) Committee Member in Program Committee within the Haskell-track
Artem StarikovStarikov, Artem Innopolis University typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
V Grant VanDomelenVanDomelen, Grant Portland State University, USA Freer Arrows and Why You Need Them in Haskell
W Philip WadlerWadler, Philip IOG; University of EdinburghUnited Kingdom Haskell equations, thirty-eight years later Plinth: A Plugin-Powered Language Built on Haskell (Experience Report)
Meng WangWang, Meng University of BristolUnited Kingdom Committee Member in Program Committee within the Haskell-track
Robert WeingartWeingart, Robert Imperial College London Total Type Classes
Stephanie WeirichWeirich, Stephanie University of PennsylvaniaUnited States Rebound: Efficient, expressive, and well-scoped binding
Nicolas WuWu, Nicolas Imperial College LondonUnited Kingdom Total Type Classes
X Li-yao XiaXia, Li-yao INRIA SaclayFrance Committee Member in Program Committee within the Haskell-track
Ningning XieXie, Ningning University of TorontoCanada Session Chair of Talks (part of Haskell) Session Chair of Keynote + Research paper (part of Haskell) Chair's report Welcome Co-chair in Program Committee within the Haskell-track
Z Song ZhangZhang, Song None Derive class instances topdown and derive ttg automatically
É Gergő ÉrdiÉrdi, Gergő Standard Chartered BankSingapore Session Chair of Language design (part of Haskell) A Clash Course in Solving Sudoku (Functional Pearl) Committee Member in Program Committee within the Haskell-track