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
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
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
Sat 23 Nov 23:11
