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

FUNARCH 2023	Committee Member in Program Committee within the FUNARCH 2023-track
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
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