Haskell 2021 Contributors

Write a Blog >>

Thu 26 - Fri 27 August 2021

co-located with ICFP 2021

Filter

Role Type

Contributing to

Number of Roles

Country

Results (37)

B Toby BaileyBailey, Toby University of Warwick Chesskell: A Two-Player Game at the Type Level
Jean-Philippe BernardyBernardy, Jean-Philippe University of Gothenburg, Sweden Evaluating Linear Functions to Symmetric Monoidal Categories Linear Haskell, Today and Tomorrow
Mathieu BoespflugBoespflug, Mathieu Tweag I/OFrance Why Functional Programming with Linear Types Matters
Gert-Jan BottuBottu, Gert-Jan KU LeuvenBelgium Seeking Stability by being Lazy and Shallow: Lazy and shallow instantiation is user friendly
Edwin BradyBrady, Edwin University of St Andrews, UKUnited Kingdom Committee Member in Program Committee within the Haskell-track
Niels BunkenburgBunkenburg, Niels University of Kiel, GermanyGermany Haskell⁻¹: Automatic Function Inversion in Haskell
C Koen ClaessenClaessen, Koen Chalmers University of Technology, Sweden Committee Member in Program Committee within the Haskell-track
D Ornela DardhaDardha, Ornela University of GlasgowUnited Kingdom Deadlock-Free Session Types in Linear Haskell
Dominique DevrieseDevriese, Dominique Vrije Universiteit BrusselBelgium Committee Member in Program Committee within the Haskell-track
E Richard A. EisenbergEisenberg, Richard A. TweagUnited States Seeking Stability by being Lazy and Shallow: Lazy and shallow instantiation is user friendly
G Michael GaleGale, Michael University of Warwick, UKUnited Kingdom Chesskell: A Two-Player Game at the Type Level Graded Monads and Type-Level Programming for Dependence Analysis
Andy GillGill, Andy University of Kansas, USA Committee Member in Program Committee within the Haskell-track
H Jurriaan HageHage, Jurriaan Utrecht University, Netherlands Session Chair of Keynote 2 (part of Haskell) Session Chair of Keynote 1 (part of Haskell) Chair Report This is not really a talk, but should ensure the two talks before it are 30 min. long Conference Chair in Program Committee within the Haskell-track
Zhenjiang HuHu, Zhenjiang Peking University Committee Member in Program Committee within the Haskell-track
J Ranjit JhalaJhala, Ranjit University of California at San Diego; Amazon Web ServicesUnited States Committee Member in Program Committee within the Haskell-track
Patricia JohannJohann, Patricia Appalachian State University Committee Member in Program Committee within the Haskell-track
K Yukiyoshi KameyamaKameyama, Yukiyoshi University of TsukubaJapan Committee Member in Program Committee within the Haskell-track
Georgios KarachaliasKarachalias, Georgios Tweag Committee Member in Program Committee within the Haskell-track
Finnbar KeatingKeating, Finnbar University of WarwickUnited Kingdom Graded Monads and Type-Level Programming for Dependence Analysis
Wen KokkeKokke, Wen University of Edinburgh Deadlock-Free Session Types in Linear Haskell
L Ralf LaemmelLaemmel, Ralf Facebook London Committee Member in Program Committee within the Haskell-track
Daan LeijenLeijen, Daan Microsoft ResearchUnited States Committee Member in Program Committee within the Haskell-track
Sam LindleyLindley, Sam The University of Edinburgh, UKUnited Kingdom Practical Normalization by Evaluation for EDSLs
Ben LippmeierLippmeier, Ben Ghost LocomotionAustralia Committee Member in Program Committee within the Haskell-track
M Rudy MatelaMatela, Rudy UnaffiliatedBrazil Express: applications of dynamically typed Haskell expressions
Neil MitchellMitchell, Neil Facebook Committee Member in Program Committee within the Haskell-track
P Alberto PardoPardo, Alberto Universidad de la Republica, Uruguay Committee Member in Program Committee within the Haskell-track
Kai-Oliver ProttPrott, Kai-Oliver University of Kiel, GermanyGermany Haskell⁻¹: Automatic Function Inversion in Haskell
Hashan PunchihewaPunchihewa, Hashan Imperial College London Safe Mutation with Algebraic Effects
R Matthew RobertsRoberts, Matthew Macquarie UniversityAustralia Committee Member in Program Committee within the Haskell-track
Alejandro RussoRusso, Alejandro Chalmers University of Technology, SwedenArgentina Practical Normalization by Evaluation for EDSLs
S Arnaud SpiwackSpiwack, Arnaud TweagFrance Evaluating Linear Functions to Symmetric Monoidal Categories
T Finn TeegenTeegen, Finn University of Kiel, GermanyGermany Haskell⁻¹: Automatic Function Inversion in Haskell
V Nachiappan ValliappanValliappan, Nachiappan Chalmers University of Technology, Sweden Practical Normalization by Evaluation for EDSLs
Janis VoigtländerVoigtländer, Janis University of Duisburg-Essen Committee Member in Program Committee within the Haskell-track
W Jamie WillisWillis, Jamie Imperial College London Design Patterns for Parser Combinators (Functional Pearl)
Nicolas WuWu, Nicolas Imperial College London, UKUnited Kingdom Design Patterns for Parser Combinators (Functional Pearl) Safe Mutation with Algebraic Effects Committee Member in Program Committee within the Haskell-track