| A generic deriving mechanism for Haskell JP Magalhães, A Dijkstra, J Jeuring, A Löh ACM Sigplan Notices 45 (11), 37-48, 2010 | 122 | 2010 |
| Generic programming with fixed points for mutually recursive datatypes AR Yakushev, S Holdermans, A Löh, J Jeuring ACM Sigplan Notices 44 (9), 233-244, 2009 | 104 | 2009 |
| Exploring Generic Haskell A Löh Utrecht University, 2004 | 98 | 2004 |
| NixOS: A purely functional Linux distribution E Dolstra, A Löh Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008 | 96 | 2008 |
| Open data types and open functions A Löh, R Hinze Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006 | 92 | 2006 |
| “Scrap your boilerplate” reloaded R Hinze, A Löh, BCS Oliveira Functional and Logic Programming: 8th International Symposium, FLOPS 2006 …, 2006 | 91 | 2006 |
| Typed contracts for functional programming R Hinze, J Jeuring, A Löh Functional and Logic Programming: 8th International Symposium, FLOPS 2006 …, 2006 | 89 | 2006 |
| Generic H∀ SKELL, Specifically D Clarke, A Löh Generic Programming: IFIP TC2/WG2. 1 Working Conference Programming July 11 …, 2003 | 81 | 2003 |
| Generics for the masses R Hinze Journal of functional programming 16 (4-5), 451-483, 2006 | 80 | 2006 |
| Comparing approaches to generic programming in Haskell R Hinze, J Jeuring, A Löh International Spring School on Datatype-Generic Programming, 72-149, 2006 | 78 | 2006 |
| Type-indexed data types R Hinze, J Jeuring, A Löh Mathematics of Program Construction: 6th International Conference, MPC 2002 …, 2002 | 76 | 2002 |
| Dependency-style generic haskell A Löh, D Clarke, J Jeuring ACM SIGPLAN Notices 38 (9), 141-152, 2003 | 71 | 2003 |
| Type-indexed data types R Hinze, J Jeuring, A Löh Science of Computer Programming 51 (1-2), 117-151, 2004 | 68 | 2004 |
| A tutorial implementation of a dependently typed lambda calculus A Löh, C McBride, W Swierstra Fundamenta informaticae 102 (2), 177-207, 2010 | 63 | 2010 |
| Generic views on data types S Holdermans, J Jeuring, A Löh, A Rodriguez Mathematics of Program Construction: 8th International Conference, MPC 2006 …, 2006 | 60 | 2006 |
| NixOS: A purely functional Linux distribution E Dolstra, A Löh, N Pierron Journal of Functional Programming 20 (5-6), 577-615, 2010 | 51 | 2010 |
| “Scrap your boilerplate” revolutions R Hinze, A Löh International Conference on Mathematics of Program Construction, 180-208, 2006 | 50 | 2006 |
| Functional pearl parsing permutation phrases AI Baars, A Löh, SD Swierstra Journal of functional programming 14 (6), 635-646, 2004 | 49 | 2004 |
| The Generic Haskell user’s guide D Clarke, R Hinze, J Jeuring, A Löh, J de Wit Technical Report UU-CS-2001-26, Utrecht University, 2001 | 46 | 2001 |
| ΠΣ: Dependent types without the sugar T Altenkirch, NA Danielsson, A Löh, N Oury Functional and Logic Programming: 10th International Symposium, FLOPS 2010 …, 2010 | 45 | 2010 |
Johan JeuringProfessor of Software Technology for Learning and Teaching, ICS & FI, Utrecht UniversityVerified email at uu.nl