WGP 2014: Andres Löh - True Sums of Products
WGP @ ICFP 2012. Introduction by programme chair, Andres Löh.
WGP 2014: Bruno C. d. S. Oliveira. Functional Programming, Object-Oriented Programming and Algebras!
Andres Löh - generics-sop
Andres Löh - Evolving datatypes
"True Lies and False Truths" by Andres Löh | NWERC 2020 Tech Talk
WGP 2014: Larry Diehl. Generic Constructors and Eliminators from Descriptions
Löh
A New Dependency Solver for cabal-install - Andres Löh
WGP 2014: Sam Lindley. Algebraic Effects and Effect Handlers for Idioms and Arrows
03 Type Level Web APIs
BOB 2017 - Andres Löh: Write one program, get two (or three, or many)
IOHK | Andres Löh - Well-Typed Consultant - QuviQ Training
HOPE 2014: From stateful to stackful computation - Danel Ahman and Tarmo Uustalu
BOB 2016 - Andres Löh - Type the web with Servant!
ICFP 2014: Lem: Reusable Engineering of Real-World Semantics - Dominic P. Mulligan
Erlang 2014: Functional Programming and the 'Megacore' Era, Kevin Hammond
WGP @ ICFP 2012. José Pedro Magalhães: Sorting with Bialgebras and Distributive Laws.
ICFP 2014: SML# in Industry: A Practical ERP System Development (Experience Report)
Haskell 2014: Effect Handlers in Scope, Tom Schrijvers
Tutorium: Parallele Programmierung mit Repa und Accelerate
ICFP 2014: Soft Contract Verification - David Van Horn
Lukas Epple über GHC Generics
ICFP 2014: Hindley-Milner Elaboration in Applicative Style (Functional Pearl) - Francois Pottier
[POPL'22] Staging with Class: A Specification for Typed Template Haskell
![[POPL'22] Staging with Class: A Specification for Typed Template Haskell](https://img.youtube.com/vi/W6QfWAWe78U/0.jpg)