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 am the "kosmi" in "Dunkosmiloolump".

I am a member of IFIP WG 2.1.

I was the Program Chair of the 2006 Haskell Workshop in Portland, Oregon. I was a PC member of Mathematically Structured Functional Programming (MSFP) 2008, the International Conference on Functional Programming (ICFP) 2006 in Portland, Oregon, the Workshop on Mathematically Structured Functional Programming (MSFP) 2006, and the 2005 Haskell Workshop in Tallinn, Estonia.

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 of mine are Kasper Brink (co-supervised with Stefan Holdermans), Gideon Smeding, Remi Turk, Robert Stremler, and Eelco Lempsink.

Publications

(Another list of my publications is here.)

2008

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

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

Eelco Dolstra, Andres Löh NixOS: A Purely Functional Linux Distribution Accepted at 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 Accepted at ICFP 2008.

Ralf Hinze, Andres Löh Generic programming in 3D Accepted by 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.

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 Eerke A. Boiten and Bernhard Möller (editors): Proceedings of the 6th International Conference on Mathematics of Program Construction, LNCS 2386, pages 148–174. © Springer-Verlag 2002 Also available as Technical Report UU-CS-2002-011 of Utrecht University. Available online.

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

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, 2008-09-01