MuniHac 2020 Workshop: Andres Löh - Liquid Haskell
Generic Programming Track by Andres Löh
IOHK | Andres Löh - Well-Typed Consultant - QuviQ Training
Intro to Type Systems and Operational Semantics - Andres Löh | ZuriHac 2022
Andres Löh - Zero-Overhead Abstractions in Haskell using Staging
BOB 2017 - Andres Löh: Write one program, get two (or three, or many)
Workshop on "Lazy Evaluation" by Andres Löh @ZuriHac2023
Haskell Beginners' Track - Andres Löh
Andres Löh - Evolving datatypes
"True Lies and False Truths" by Andres Löh | NWERC 2020 Tech Talk
Andres Löh - Deriving Via (HaskellX 2018)
Andres Löh - generics-sop
WGP 2014: Andres Löh - True Sums of Products
Datatype-Generic Programming by Andres Löh - Advanced Track @ ZuriHac 2020
WGP @ ICFP 2012. Introduction by programme chair, Andres Löh.
Andres Löh - Checking and Translating Type Classes (HaskellX 2016)
BOB 2023 Andres Löh - Structuring effectful programs
BOB 2016 - Andres Löh - Type the web with Servant!
A New Dependency Solver for cabal-install - Andres Löh
BOB 2025 Andres Löh - Abstraction and program design, or the power of parametricity
