E-mail

andres@cs.uu.nl

mail@andres-loeh.de

I am currently working as a lecturer at Utrecht University in the Netherlands. From August 2005 to July 2007, I have been a researcher at the University of Bonn in Germany, in the GFP project. From June to July 2005, I have been working at the University of Freiburg in Germany. In February and March 2005, I have been a visiting researcher at the Institute of Cybernetics in Tallinn, Estonia. From 2000 to 2005, I have also been at Utrecht University, where I finished my PhD in the field of Computer Science in September 2004. From 1995 to 2000, I have studied Mathematics and Computer Science in Konstanz, Germany.

I have been organizing the Utrecht Summer School on Applied Functional Programming 2009!

I am the "kosmi" in "Dunkosmiloolump".

I am a member of IFIP WG 2.1.

Submit a paper to PEPM 2010.

Research

I am interested in functional programming, programming language theory, type systems, dependently typed programming languages, and applications of functional programming.

I am a member of the Generic Programming project at Utrecht University.

I am a contributor to NixOS.

Thesis

Exploring Generic Haskell

Teaching

I am currently regularly teaching the following courses: Introduction to Functional Programming, Languages and Compilers; Advanced Functional Programming. In addition, I regularly teach a seminar on Type Systems or a related topic. There also is a precise overview of my teaching activities at Utrecht University.

If you are a student interested in functional programming, then why not consider to do your Master in Utrecht?

Students

Current Master students: Remi Turk (co-supervised with Piet Rodenburg), Robert Stremler, Sebastiaan Visser, Chris Eidhof (co-supervised with Doaitse Swierstra).

Past Master students: Gideon Smeding, Kasper Brink (co-supervised with Stefan Holdermans), Eelco Lempsink (co-supervised with Sean Leather).

PC memberships

Workshop on Partial Evaluation and Program Manipulation (PEPM) 2010

Workshop on Generic Programming (WGP) 2009

Mathematically Structured Functional Programming (MSFP) 2008

International Conference on Functional Programming (ICFP) 2006

Mathematically Structured Functional Programming (MSFP) 2006

Haskell Workshop 2006 (chair)

Haskell Workshop 2005

Publications

(Another list of my publications is here.)

2009

Eelco Lempsink, Sean Leather, Andres Löh Type-safe diff for families of datatypes WGP 2009.

Alexey Rodriguez, Stefan Holdermans, Andres Löh, Johan Jeuring Generic programming with fixed points for mutually recursive datatypes ICFP 2009.

Andres Löh, Conor McBride, Wouter Swierstra A Tutorial Implementation of a Dependently Typed Lambda Calculus Submitted to Fundamenta Informaticae. Revised version of "Simply Easy".

2008

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.

2007

Ralf Hinze, Andres Löh Generic programming in 3D Science of Computer Programming.

2006

Andres Löh, Wouter Swierstra, Daan Leijen A Principled Approach to Version Control Unpublished draft.

Andres Löh, Ralf Hinze Open data types and open functions PPDP 2006.

Ralf Hinze, Andres Löh "Scrap Your Boilerplate" Revolutions MPC 2006.

Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez Generic views on data types MPC 2006.

Bruno C.d.S. Oliveira, Ralf Hinze, Andres Löh Generics as a Library TFP 2006.

Ralf Hinze, Andres Löh Generic Programming, Now! SSDGP 2006.

Ralf Hinze, Andres Löh, Bruno C.d.S. Oliveira "Scrap Your Boilerplate" Reloaded FLOPS 2006.

Ralf Hinze, Johan Jeuring, Andres Löh Typed Contracts for Functional Programming FLOPS 2006.

2005

Alexey Rodriguez, Johan Jeuring, Andres Löh Type Inference for Generic Haskell Technical Report of Utrecht University.

Daan Leijen, Andres Löh Qualified Types for MLF Proceedings of the tenth ACM SIGPLAN ICFP, 2005, Tallinn, Estonia. Available online.

Stefan Holdermans, Johan Jeuring, Andres Löh Generic Views on Data Types Technical Report UU-CS-2005-012 of Utrecht University. Draft available online.

2004

Andres Löh Exploring Generic Haskell PhD thesis, Utrecht University Available online.

Ralf Hinze, Johan Jeuring, Andres Löh Type-indexed data types Science of Computer Programming.

2003

Andres Löh, Dave Clarke, Johan Jeuring Dependency-style Generic Haskell Proceedings of the eight ACM SIGPLAN ICFP, 2003, Uppsala, Sweden Also available as Technical Report UU-CS-2003-022 of Utrecht University. Available online.

2002

Dave Clarke, Andres Löh Generic Haskell, Specifically Jeremy Gibbons and Johan Jeuring (editors): Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11–12, 2002, Dagstuhl, Germany, pages 21–47. IFIP Conference Proceedings 243, Kluwer, ISBN 1-4020-7374-7

Ralf Hinze, Johan Jeuring, Andres Löh Type-indexed data types MPC 2002.

2001

Arthur Baars, Andres Löh, S. Doaitse Swierstra Parsing Permutation Phrases ACM SIGPLAN 2001 Haskell Workshop Available online.

2000

Ulrik Brandes Vanessa Kääb, Andres Löh, Thomas Willhalm Dynamic WWW Structures in 3D Journal of Graph Algorithms and Applications 4(3):183–191 Available online.

Downloads

Generic Haskell

The official release Diamond (as well as the older Amber, Beryl and Coral releases) are available from the project page. The Generic Haskell subversion repository is also available for reading.

lhs2TeX

lhs2TeX is a preprocessor to generate LaTeX code from literate Haskell sources. It is available for download via its own homepage.

exi

This is a reimplementation of the emerge layer of Gentoo Linux's package manager Portage in Haskell. Available via its own homepage.

BPL

An interpreter for the BPL programming language. Available via its own homepage (page in German).

hsbirthdays

This is a really small Haskell application that reminds you of upcoming birthdays. There is the source tarball and an inofficial Gentoo ebuild for your Portage overlay.

Talks

lhs2TeX (pdf), presented at the Dutch HUG meeting, October 2009

Generic programming with fixed points for mutually recursive datatypes (pdf), presented at ICFP 2009 in Edinburgh, September 2009

Generic programming with the multirec library (pdf), presented at Chalmers University, May 2009

Generic diff (pdf), presented at the IFIP 2.1 meeting at Weltenburg Abbey, April 2009

Indexed Fixed Points (pdf), presented at the GP meeting at Utrecht University, November 2008

NixOS (in German, pdf), presented at the University of Kiel, July 2008

NixOS (pdf), presented at the IFIP WG 2.8 meeting in Park City, Utah, June 2008

Terminating combinator parsers in Agda (pdf), presented at the STC, June 2008

Types in Functional Programming Languages (pdf), presented at the UU General Math Colloqium, May 2008

Trinity (pdf), presented at the Dutch FP day, January 2008

Implementing Dependent Types in Haskell (pdf), presented at the IFIP WG 2.1 meeting in Kyoto, September 2007

Contracts in Trinity (pdf), presented at a Programming Languages Group meeting at TTI in Chicago, April 2007

Open data types and open functions (pdf), presented at PPDP 2006 in Venice, July 2006

Scrap Your Boilerplate Reloaded (pdf), presented at FLOPS 2006 in Fuji Susono, April 2006

Qpen data types and open functions (pdf), presented at Tokyo University, April 2006

Qualified Types for ML-F (pdf), presented at ICFP 2005 in Tallinn, September 2005

Extensible datatypes (pdf), presented at the Datatype-Generic Programming Workshop in Utrecht, August 2005

Data Structures II (pdf), guest lecture in the Advanced Functional Programming course, May 2005

Data Structures I (pdf), guest lecture in the Advanced Functional Programming course, May 2005

Attribute Grammars in Haskell with UUAG (pdf), presented at the Institute of Cybernetics in Tallinn, February 2005, revised version of the Konstanz talk

Structural polymorphism in Generic Haskell (pdf), presented at the Estonian Computer Science Theory Days in Koke, February 2005, revised version of the Freiburg talk

Typesetting Haskell and more with lhs2TeX (pdf), presented at the IFIP WG 2.1 meeting in Nottingham, September 2004, revised version of the STC talk

Dependencies – by case or by function? (pdf), presented at the IFIP WG 2.1 meeting in Nottingham, September 2004

Generalizing Generic functions (pdf), presented at a GH meeting, July 2004

Generic Haskell (pdf), presented at the University of Freiburg, November 2003

Typesetting Haskell and more with lhs2TeX (pdf), presented at an STC meeting, October 2003

Dependency-style Generic Haskell (pdf), presented at ICFP 2003 in Uppsala, August 2003

Generic Programming in Haskell (pdf), presented at an STC meeting, May 2003

Explicit Recursion in Generic Haskell (pdf), presented at the APPSEM-II workshop in Nottingham, March 2003

Dec@ding style files, presented at the University of Konstanz, November 2002; exercises, (in German, pdf)

Recovering explicit recursion in GH (pdf), presented at a GH meeting, October 2002

Generic Haskell, Specifically (pdf), presented at WCGP 2002 in Dagstuhl, July 2002

Generic Haskell 0.99 – Amber Release (pdf), presented at a GH meeting, November 2001

The UU_AG System – Programming with Functions, Aspects, Attributes, and Catamorphisms (pdf), presented at the University of Konstanz, June 2001

Generic Haskell – Bringing generic functions into the Haskell world (ps.gz), guest lecture in the Software Generation course, May 2001

A second prototype of a first prototype for Generic Haskell, presented at a GH meeting, November 2000

Miscellaneous

A poster (pdf) describing the Generic Haskell project.

The paper Aller guten Konjunktive sind drei (in German, pdf).

The polytable (version 0.8.2, .tar.gz) package for LaTeX.

Links

An introductory (and incomplete) course on the programming language Haskell.

Selectio Naturalis (in German) – a PBEM role-playing saga in the Ars Magica™ system

Andres Löh, 2009-10-14