Andres Löh

Publication Activity (10 Years)

Years Active: 2000-2022
Publications (10 Years): 4

Top Topics

Domain Specific Languages

Parallel Programming

Version Control

Top Venues

Proc. ACM Program. Lang.

Publications

Ningning Xie, Matthew Pickering, Andres Löh, Nicolas Wu, Jeremy Yallop, Meng Wang
Staging with class: a specification for typed template Haskell. Proc. ACM Program. Lang. 6 (POPL) (2022)
Matthew Pickering, Andres Löh, Nicolas Wu
A Specification for Typed Template Haskell. CoRR (2021)
Matthew Pickering, Andres Löh, Nicolas Wu
Staged sums of products. Haskell@ICFP (2020)
Baldur Blöndal, Andres Löh, Ryan Scott
Deriving via: or, how to turn hand-written instances into an anti-pattern. Haskell@ICFP (2018)
Sean Leather, Johan Jeuring, Andres Löh, Bram Schuur
Type-changing rewriting and semantics-preserving transformation. Sci. Comput. Program. 112 (2015)
Alp Mestanogullari, Sönke Hahn, Julian K. Arni, Andres Löh
Type-level web APIs with Servant: an exercise in domain-specific generic programming. WGP@ICFP (2015)
José Pedro Magalhães, Andres Löh
Hierarchy in Generic Programming Libraries. MPC (2015)
Helmut Grohne, Andres Löh, Janis Voigtländer
Formalizing Semantic Bidirectionalization with Dependent Types. EDBT/ICDT Workshops (2014)
Wouter Swierstra, Andres Löh
The Semantics of Version Control. Onward! (2014)
Sean Leather, Johan Jeuring, Andres Löh, Bram Schuur
Type-changing rewriting and semantics-preserving transformation. PEPM (2014)
José Pedro Magalhães, Andres Löh
Generic Generic Programming. PADL (2014)
Edsko de Vries, Andres Löh
True sums of products. WGP@ICFP (2014)
Bruno C. d. S. Oliveira, Andres Löh
Abstract syntax graphs for domain specific languages. PEPM (2013)
José Pedro Magalhães, Andres Löh
A Formal Comparison of Approaches to Datatype-Generic Programming MSFP (2012)
Duncan Coutts, Andres Löh
Deterministic Parallel Programming with Haskell. Comput. Sci. Eng. 14 (6) (2012)
Andres Löh, José Pedro Magalhães
Generic programming with indexed functors. WGP@ICFP (2011)
José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh
Optimizing generics is easy! PEPM (2010)
Eelco Dolstra, Andres Löh, Nicolas Pierron
NixOS: A purely functional Linux distribution. J. Funct. Program. 20 (5-6) (2010)
Sebastiaan Visser, Andres Löh
Generic storage in Haskell. ICFP-WGP (2010)
Thorsten Altenkirch, Nils Anders Danielsson, Andres Löh, Nicolas Oury
PiSigma: Dependent Types without the Sugar. FLOPS (2010)
Andres Löh, Conor McBride, Wouter Swierstra
A Tutorial Implementation of a Dependently Typed Lambda Calculus. Fundam. Informaticae 102 (2) (2010)
José Pedro Magalhães, Atze Dijkstra, Johan Jeuring, Andres Löh
A generic deriving mechanism for Haskell. Haskell (2010)
Kasper Brink, Stefan Holdermans, Andres Löh
Dependently Typed Grammars. MPC (2010)
Ralf Hinze, Andres Löh
Generic programming in 3D. Sci. Comput. Program. 74 (8) (2009)
Sean Leather, Andres Löh, Johan Jeuring
Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional Incrementalization. IFL (2009)
Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring
Generic programming with fixed points for mutually recursive datatypes. ICFP (2009)
Eelco Lempsink, Sean Leather, Andres Löh
Type-safe diff for families of datatypes. WGP@ICFP (2009)
Eelco Dolstra, Andres Löh
NixOS: a purely functional Linux distribution. ICFP (2008)
Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Clara Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie
Report on the tenth ICFP programming contest. ICFP (2008)
Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez
Generic Views on Data Types. MPC (2006)
Ralf Hinze, Johan Jeuring, Andres Löh
Comparing Approaches to Generic Programming in Haskell. SSDGP (2006)
Ralf Hinze, Andres Löh
Generic Programming, Now! SSDGP (2006)
Ralf Hinze, Johan Jeuring, Andres Löh
Typed Contracts for Functional Programming. FLOPS (2006)
Ralf Hinze, Andres Löh
"Scrap Your Boilerplate" Revolutions. MPC (2006)
Andres Löh, Ralf Hinze
Open data types and open functions. PPDP (2006)
Ralf Hinze, Andres Löh, Bruno C. d. S. Oliveira
"Scrap Your Boilerplate" Reloaded. FLOPS (2006)
Bruno C. d. S. Oliveira, Ralf Hinze, Andres Löh
Extensible and modular generics for the masses. Trends in Functional Programming (2006)
Daan Leijen, Andres Löh
Qualified types for MLF. ICFP (2005)
Ralf Hinze, Johan Jeuring, Andres Löh
Type-indexed data types. Sci. Comput. Program. 51 (1-2) (2004)
Arthur I. Baars, Andres Löh, S. Doaitse Swierstra
Parsing permutation phrases. J. Funct. Program. 14 (6) (2004)
Andres Löh, Dave Clarke, Johan Jeuring
Dependency-style generic Haskell. ICFP (2003)
Johan Jeuring, Dave Clarke, Andres Löh
Dependency-style generic haskell. SIGPLAN Notices (2003)
Ralf Hinze, Johan Jeuring, Andres Löh
Type-Indexed Data Types. MPC (2002)
Dave Clarke, Andres Löh
Generic Haskell, Specifically. Generic Programming (2002)
Ulrik Brandes, Vanessa Kääb, Andres Löh, Dorothea Wagner, Thomas Willhalm
Dynamic WWW Structures in 3D. J. Graph Algorithms Appl. 4 (3) (2000)