E-mail

mail@andres-loeh.de

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

I am the "kosmi" in "Dunkosmiloolump".

I am the current editor of the bi-annual Haskell Communities and Acitivies Report. The May 2005 edition is now available!

I am a PC member of the 2005 Haskell Workshop in Tallinn, Estonia.

Research

Have a look at the Generic Haskell project page, or at my thesis Exploring Generic Haskell

Publications

(Another list of my publications is here.)

2005

Daan Leijen, Andres Löh Qualified Types for MLF Accepted for ICFP 2005. Draft 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 ICP, 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 Coral (as well as the older Amber and Beryl 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.

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

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.7.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, 17.06.2005