| First-class phantom types J Cheney, R Hinze Cornell University, 2003 | 236 | 2003 |
| Haskell 98—A Non− strict ‚Purely Functional Language P Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, S Fraser, ... Available from http://www. haskell. org/definition/, 1999 | 231 | 1999 |
| Report on the programming language Haskell 98 SLP Jones, RJM Hughes, L Augustsson, D Barton, B Boutel, W Burton, ... | 177 | 1999 |
| A new approach to generic functional programming R Hinze Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000 | 176 | 2000 |
| Derivable type classes R Hinze, SP Jones Electronic notes in theoretical computer science 41 (1), 5-35, 2001 | 155 | 2001 |
| A lightweight implementation of generics and dynamics J Cheney, R Hinze Proceedings of the 2002 ACM SIGPLAN workshop on Haskell, 90-104, 2002 | 143 | 2002 |
| . Generic Haskell: Practice and Theory R Hinze, J Jeuring Generic Programming, 1-56, 2003 | 129 | 2003 |
| Finger trees: a simple general-purpose data structure R Hinze, R Paterson Journal of functional programming 16 (2), 197-217, 2006 | 125 | 2006 |
| Deriving backtracking monad transformers R Hinze ACM SIGPLAN Notices 35 (9), 186-197, 2000 | 100 | 2000 |
| Polytypic values possess polykinded types R Hinze International Conference on Mathematics of Program Construction, 2-27, 2000 | 95 | 2000 |
| Just do it: simple monadic equational reasoning J Gibbons, R Hinze ACM SIGPLAN Notices 46 (9), 2-14, 2011 | 82 | 2011 |
| Typed contracts for functional programming R Hinze, J Jeuring, A Löh International Symposium on Functional and Logic Programming, 208-225, 2006 | 81 | 2006 |
| Fun with phantom types R Hinze The fun of programming, 245-262, 2003 | 81 | 2003 |
| “Scrap your boilerplate” reloaded R Hinze, A Löh, BCS Oliveira International Symposium on Functional and Logic Programming, 13-29, 2006 | 79 | 2006 |
| Haskell 98–A non-strict, purely functional language S Peyton Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, ... | 79 | 1999 |
| Open data types and open functions A Löh, R Hinze Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006 | 77 | 2006 |
| Generics for the masses R Hinze Journal of functional programming 16 (4-5), 451-483, 2006 | 74 | 2006 |
| Type-indexed data types R Hinze, J Jeuring, A Löh International Conference on Mathematics of Program Construction, 148-174, 2002 | 71 | 2002 |
| Polytypic values possess polykinded types R Hinze Science of Computer Programming 43 (2-3), 129-159, 2002 | 71 | 2002 |
| Comparing approaches to generic programming in Haskell R Hinze, J Jeuring, A Löh International Spring School on Datatype-Generic Programming, 72-149, 2006 | 69 | 2006 |
Andres LöhHaskell Consultant, Well-Typed LLPVerified email at well-typed.com
