home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

publications by dr. A. Löh

• Metis is a dutch, academic research information database
• see also: Metis for Departement Informatica
• please send notifications, questions, remarks etc to metis@cs.uu.nl
• see also : research -> Metis overviews

dr. A. Löh

• contact information
• my technical reports
• former member of group software technology

some publications

Loeh, A. & Magalhaes, J.P. (2011). Generic Programming with Indexed Functors. In ACM SIGPLAN 7th Workshop on Generic Programming.

Magalhaes, J.P., Dijkstra, A., Jeuring, J.T. & Löh, A. (2010). A generic deriving mechanism for Haskell. : Department of Information and Computing Sciences, Utrecht University.

Magalhaes, J.P., Dijkstra, A., Jeuring, J.T. & Löh, A. (2010). A generic deriving mechanism for Haskell. In Proceedings Haskell Symposium (pp. 37-48). ACM Press.

Magalhaes, J.P., Holdermans, S., Jeuring, J.T. & Löh, A. (2010). Optimizing generics is easy! In Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation, PEPM 2010 (pp. 33-42). ACM Press.

Leather, S., Löh, A. & Jeuring, J.T. Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional Incrementalization. In Proceedings of IFL 2009: the 21st Symposium on Implementation and Application of Functional Languages Vol. 6041. Lecture Notes in Computer Science (pp. 159-178). Springer.

Hinze, R. & Loeh, A. (2009). Generic programming in {3D}. Science of Computer Programming, 74(8), 590-628.

Rodriguez Yakushev, A., Holdermans, S., Löh, A. & Jeuring, J.T. (2009). Generic programming with fixed points for mutually recursive datatypes. In G. Hutton & A.P. Tolmach (Eds.), Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming, ICFP'09 (pp. 233-244). ACM.

Magalhaes, J.P., Holdermans, S., Jeuring, J.T. & Löh, A. (2009). Optimizing Generics Is Easy! onbekend: UU BETA ICS Departement Informatica.

Leather, S.P., Löh, A. & Jeuring, J.T. (2009). Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional Incrementalization. onbekend: UU BETA ICS Departement Informatica.

Lempsink, E., Leather, S.P. & Loeh, A. (2009). Type-safe diff for families of datatypes. In WGP '09: Proceedings of the 2009 ACM SIGPLAN Workshop on Generic Programming (pp. 61-72). ACM.

Rodriguez Yakushev, A., Holdermans, S., Loeh, A. & Jeuring, J.T. (2008). Generic programming with fixed points for mutually recursive datatypes. UU-CS 2008-019. onbekend: UU WINFI Informatica en Informatiekunde.

Dolstra, E., Hage, J., Heeren, B.J., Holdermans, S., Jeuring, J.T., Löh, A., Löh, C., Middelkoop, A., Rodriguez Yakushev, A. & Schie, J. van (2008). Report on the tenth {ICFP} programming contest. In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (pp. 397-408). New York, NY, USA: ACM.

Löh, A., Jeuring, J.T., Noort, T. van, Rodriguez Yakushev, A., Clarke, D., Hinze, R. & Wit, J de (2008). The {G}eneric {H}askell user's guide, {V}ersion 1.80 - {E}merald release. UU-CS 2008-011. onbekend: UU WINFI Informatica en Informatiekunde.

Dolstra, E. & Loeh, A. (2008). {NixOS}: a purely functional Linux distribution. In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (pp. 367-378). New York, NY, USA: ACM.

Hinze, R., Jeuring, J.T. & Löh, A. (2007). Comparing approaches to generic programming in Haskell. In R.C. Backhouse, J. Gibbons, R. Hinze & J. Jeuring (Eds.), Datatype-Generic Programming, International Spring School, SSDGP 2006, Nottingham, UK April 24-27, 2006, Revised Lectures (pp. 72-149). Springer-Verlag.

Dolstra, E., Hage, J., Heeren, B.J., Holdermans, S., Jeuring, J.T., Löh, A., Middelkoop, A., Rodriguez Yakushev, A., Schie, J.C. van & Löh, C. (2007). Morph Endo! Report on the Tenth Interstellar Contest on Fuun Programming. UU-CS 2007-029. onbekend: UU WINFI Informatica en Informatiekunde.

Dolstra, E., Hage, J., Heeren, B.J., Holdermans, S., Jeuring, J.T., Löh, A., Middelkoop, A., Rodriguez Yakushev, A., Schie, J.C. van & Löh, C. (2007). Morph Endo! Task description of the Tenth Interstellar Contest on Fuun Programming. UU-CS 2007-027. onbekend: UU WINFI Informatica en Informatiekunde.

Hinze, R., Jeuring, J.T. & Löh, A. (2006). Comparing approaches to generic programming in Haskell. UU-CS 2006-022. onbekend: UU WINFI Informatica en Informatiekunde.

Holdermans, S., Jeuring, J.T., Löh, A. & Rodriguez Yakushev, A. (2006). Generic Views on Data Types. UU-CS 2006-020. onbekend: UU WINFI Informatica en Informatiekunde.

Holdermans, S., Jeuring, J.T., Löh, A. & Rodriguez, A. (2006). Generic views on data types. In T. Uustalu (Ed.), Proceedings 8th International Conference on Mathematics of Program Construction, MPC 2006 (pp. 209-234). Springer-Verlag.

Löh, A., Jeuring, J.T. & Rodriguez Yakushev, A. (2006). The Generic Haskell user's guide, Version 1.60 - Diamond release. onbekend: UU WINFI Informatica en Informatiekunde.

Hinze, R., Jeuring, J.T. & Löh, A. (2006). Typed Contracts for Functional Programming. In P. Wadler & M. Hagiya (Eds.), Proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS 2006 (pp. 208-225). Springer-Verlag.

Hinze, R., Jeuring, J.T. & Löh, A. (2006). Typed Contracts for Functional Programming. UU-CS 2006-026. onbekend: UU WINFI Informatica en Informatiekunde.

Löh, A., Jeuring, J.T., Clarke, D.G., Hinze, R., Rodriguez, A. & Wit, J de (2005). Generic Haskell User's Guide -- Version 1.42 (Coral). UU-CS 2005-004. onbekend: UU WINFI Informatica en Informatiekunde.

Holdermans, S., Jeuring, J.T. & Löh, A. (2005). Generic Views on Data Types. UU-CS 2005-012. onbekend: UU WINFI Informatica en Informatiekunde.

Leijen, D.J.P. & Löh, A. (2005). Qualified types for MLF. In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (pp. 144-155). New York: ACM Press.

Löh, A. (2004, September 2). Exploring Generic Haskell. UU Universiteit Utrecht (352 pag.) (Enschede: Febodruk). Prom./coprom.: dr. J.T. Jeuring & prof. dr. S.D. Swierstra.

Baars, A.I., Löh, A. & Swierstra, S.D. (2004). Parsing Permutation Phrases. Journal of functional programming, 14(6), 635-646.

Hinze, R., Jeuring, J.T. & Löh, A. (2004). Type-indexed data types. Science of Computer Programming, 51(1-2), 117-151.

Löh, A., Clarke, D.G. & Jeuring, J.T. (2003). Dependency-style Generic Haskell. In Proceedings of the eighth ACM SIGPLAN international conference on Functional programming (pp. 141-152). Uppsala: ACM.

Löh, A., Clarke, D.G. & Jeuring, J.T. (2003). Dependency-style Generic Haskell. UU-CS 2003-022. Utrecht: Universiteit Utrecht.

Clarke, D.G. & Löh, A. (2002). Generic Haskell, Specifically. In J. Jeuring & J. Gibbons (Eds.), Proceedings of the IFIP TC2 Working Conference on Generic Programming.

Clarke, D.G., Jeuring, J.T. & Löh, A. (2002). The Generic Haskell User's Guide. Version 1.23 - Beryl release. UU-CS 2002-047. Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.

Hinze, R., Jeuring, J.T. & Löh, A. (2002). Type-indexed data types. UU-CS 2002-011. Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.

Hinze, R., Jeuring, J.T. & Löh, A. (2002). Type-indexed data types. In E.A. Boiten & B. Möller (Eds.), Proceedings of the 6th International Conference on Mathematics of Program Construction (pp. 148-174). Springer-Verlag.

Baars, A.I., Löh, A. & Swierstra, S.D. (2001). Parsing Permutation Phrases. In R. Hinze (Ed.), Proceedings of the 2001 ACM SIGPLAN Haskell Workshop. Elsevier.

Clarke, D.G., Hinze, R., Jeuring, J.T., Löh, A. & Wit, J. (2001). The Generic Haskell User's Guide. UU-CS 2001-26. Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.