Leather, S.P., Jeuring, J.T., Löh, A. & Schuur, B. (2012). Type-and-Transform Systems. : Department of Information and Computing Sciences, Utrecht University.
|
Loeh, A. & Rodrigues Magalhães, J.P. (2011). Generic Programming with Indexed Functors. In ACM SIGPLAN 7th Workshop on Generic Programming.
|
Rodrigues Magalhães, 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.
|
Rodrigues Magalhães, 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.
|
Rodrigues Magalhães, 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.
|
Rodrigues Magalhães, 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-CS2008-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-CS2008-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-CS2007-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-CS2007-027 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Hinze, R., Jeuring, J.T. & Löh, A. (2006). Comparing approaches to generic programming in Haskell. (UU-CS2006-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-CS2006-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-CS2006-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-CS2005-004 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Holdermans, S., Jeuring, J.T. & Löh, A. (2005). Generic Views on Data Types. (UU-CS2005-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-CS2003-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-CS2002-047 ). 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.
|
Hinze, R., Jeuring, J.T. & Löh, A. (2002). Type-indexed data types. (UU-CS2002-011 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
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-CS2001-26 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
webmaster@cs.uu.nl,
Wed, 22 May 2013 02:28:48 +0200
←
Departement Informatica, Universiteit Utrecht