Andres Löh

Registered user since Wed 13 Jul 2016

Name:Andres Löh
Country:United Kingdom
Affiliation:Well-Typed LLP
Personal website:https://andres-loeh.de

Contributions

ICFP 2022 Committee Member in Program Committee within the ICFP Papers and Events-track
POPL 2022 Author of Staging with Class: A Specification for Typed Template Haskell within the POPL-track
PADL 2022 Committee Member in Programme Committee within the PADL 2022-track
HIW 2021 Author of Avoiding quadratic GHC core code size within the HIW 2021-track
Session Chair of Types and GHC 2 (part of HIW 2021)
Committee Member in Program Committee within the HIW 2021-track
POPL 2021 Author of [T2] Liquid Haskell: Refinement Type Checker for Haskell within the TutorialFest-track
META'20 PC Member in Program Committee within the META'20-track
Haskell 2020 Author of Staged Sums of Products within the Haskell 2020-track
HIW 2020 Author of Liquid Haskell as a GHC Plugin within the HIW 2020-track
Haskell 2018 Committee Member in Program Committee within the Haskell 2018-track
Author of Deriving Via: or, How to Turn Hand-Written Instances into an Anti-pattern within the Haskell 2018-track
ICFP 2017 Workshops Co-Chair in Organizing Committee
ICFP 2016 Committee Member in External Review Committee within the Research Papers-track
Session Chair of Session 7 (part of Research Papers)
Author of T4: An Introduction to to Type-Level and Generic Programming in Haskell within the Tutorials-track
Workshops Co-Chair in Organizing Committee
Onward! 2014 Author of The Semantics of Version Control within the Onward! Papers-track