Andres Löh

According to our database, Andres Löh authored at least 43 papers between 2000 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Staging with class: a specification for typed template Haskell.

Ningning Xie, Matthew Pickering, Andres Löh, Nicolas Wu, Jeremy Yallop, Meng Wang

Proc. ACM Program. Lang., 2022

2021

A Specification for Typed Template Haskell.

Matthew Pickering, Andres Löh, Nicolas Wu

CoRR, 2021

2020

Staged sums of products.

Matthew Pickering, Andres Löh, Nicolas Wu

Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, 2020

2018

Deriving via: or, how to turn hand-written instances into an anti-pattern.

Baldur Blöndal, Andres Löh, Ryan Scott

Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 2018

2015

Type-changing rewriting and semantics-preserving transformation.

Sean Leather, Johan Jeuring, Andres Löh, Bram Schuur

Sci. Comput. Program., 2015

Hierarchy in Generic Programming Libraries.

José Pedro Magalhães, Andres Löh

Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015

Type-level web APIs with Servant: an exercise in domain-specific generic programming.

Alp Mestanogullari, Sönke Hahn, Julian K. Arni, Andres Löh

Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming, 2015

2014

Generic Generic Programming.

José Pedro Magalhães, Andres Löh

Proceedings of the Practical Aspects of Declarative Languages, 2014

The Semantics of Version Control.

Wouter Swierstra, Andres Löh

Proceedings of the Onward! 2014, 2014

True sums of products.

Edsko de Vries, Andres Löh

Proceedings of the 10th ACM SIGPLAN workshop on Generic programming, 2014

Formalizing Semantic Bidirectionalization with Dependent Types.

Helmut Grohne, Andres Löh, Janis Voigtländer

Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014

2013

Abstract syntax graphs for domain specific languages.

Bruno C. d. S. Oliveira, Andres Löh

Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

2012

Deterministic Parallel Programming with Haskell.

Duncan Coutts, Andres Löh

Comput. Sci. Eng., 2012

A Formal Comparison of Approaches to Datatype-Generic Programming

José Pedro Magalhães, Andres Löh

Proceedings of the Proceedings Fourth Workshop on Mathematically Structured Functional Programming, 2012

2011

Generic programming with indexed functors.

Andres Löh, José Pedro Magalhães

Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, 2011

2010

NixOS: A purely functional Linux distribution.

Eelco Dolstra, Andres Löh, Nicolas Pierron

J. Funct. Program., 2010

A Tutorial Implementation of a Dependently Typed Lambda Calculus.

Andres Löh, Conor McBride, Wouter Swierstra

Fundam. Informaticae, 2010

Optimizing generics is easy!

José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh

Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010

Dependently Typed Grammars.

Kasper Brink, Stefan Holdermans, Andres Löh

Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

Generic storage in Haskell.

Sebastiaan Visser, Andres Löh

Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2010

A generic deriving mechanism for Haskell.

José Pedro Magalhães, Atze Dijkstra, Johan Jeuring, Andres Löh

Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, 2010

PiSigma: Dependent Types without the Sugar.

Thorsten Altenkirch, Nils Anders Danielsson, Andres Löh, Nicolas Oury

Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010

2009

Generic programming in 3D.

Ralf Hinze, Andres Löh

Sci. Comput. Program., 2009

Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional Incrementalization.

Sean Leather, Andres Löh, Johan Jeuring

Proceedings of the Implementation and Application of Functional Languages, 2009

Generic programming with fixed points for mutually recursive datatypes.

Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

Type-safe diff for families of datatypes.

Eelco Lempsink, Sean Leather, Andres Löh

Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, 2009

2008

NixOS: a purely functional Linux distribution.

Eelco Dolstra, Andres Löh

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

Report on the tenth ICFP programming contest.

Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Clara Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2006

Generic Programming, Now!

Ralf Hinze, Andres Löh

Proceedings of the Datatype-Generic Programming - International Spring School, 2006

Comparing Approaches to Generic Programming in Haskell.

Ralf Hinze, Johan Jeuring, Andres Löh

Proceedings of the Datatype-Generic Programming - International Spring School, 2006

Extensible and modular generics for the masses.

Bruno C. d. S. Oliveira, Ralf Hinze, Andres Löh

Proceedings of the Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, 2006

Open data types and open functions.

Andres Löh, Ralf Hinze

Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

Generic Views on Data Types.

Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez

Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

"Scrap Your Boilerplate" Revolutions.

Ralf Hinze, Andres Löh

Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

"Scrap Your Boilerplate" Reloaded.

Ralf Hinze, Andres Löh, Bruno C. d. S. Oliveira

Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

Typed Contracts for Functional Programming.

Ralf Hinze, Johan Jeuring, Andres Löh

Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

2005

Qualified types for MLF.

Daan Leijen, Andres Löh

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

2004

Type-indexed data types.

Ralf Hinze, Johan Jeuring, Andres Löh

Sci. Comput. Program., 2004

Parsing permutation phrases.

Arthur I. Baars, Andres Löh, S. Doaitse Swierstra

J. Funct. Program., 2004

Exploring generic Haskell.

Andres Löh

Univ. Utrecht, ISBN: 978-90-393-3765-3, 2004

2003

Dependency-style generic Haskell.

Andres Löh, Dave Clarke, Johan Jeuring

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

2002

Generic Haskell, Specifically.

Dave Clarke, Andres Löh

Proceedings of the Generic Programming, 2002

2000

Dynamic WWW Structures in 3D.

Ulrik Brandes, Vanessa Kääb, Andres Löh, Dorothea Wagner, Thomas Willhalm

J. Graph Algorithms Appl., 2000