Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Andres Löh
conf.researchr.org general profile
ICFP 2016 profile
ICFP 2017 profile
ICFP 2018 profile
ICFP 2020 profile
ICFP 2021 profile
ICFP 2022 profile
ICFP 2023 profile
ICFP/SPLASH 2025 profile
POPL 2021 profile
POPL 2022 profile
SPLASH 2014 profile
SPLASH 2020 profile
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
2025
Haskell
Committee Member in Program Committee within the Haskell 2025-track
2023
FUNARCH
Committee Member in Program Committee within the FUNARCH 2023-track
2022
ICFP
Committee Member in Program Committee within the ICFP Papers and Events-track
POPL
Author of Staging with Class: A Specification for Typed Template Haskell within the POPL-track
Symposium on Practical Aspects of Declarative Languages
Committee Member in Programme Committee within the PADL 2022-track
2021
HIW
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
Author of [T2] Liquid Haskell: Refinement Type Checker for Haskell within the TutorialFest-track
2020
Haskell
Author of Staged Sums of Products within the Haskell 2020-track
HIW
Author of Liquid Haskell as a GHC Plugin within the HIW 2020-track
2018
Haskell
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
2017
ICFP
Workshops Co-Chair in Organizing Committee
2016
ICFP
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
2014
Onward!
Author of The Semantics of Version Control within the Onward! Papers-track
Share
x
Fri 28 Mar 23:41
