| First-class phantom types J Cheney, R Hinze Cornell University, 2003 | 322 | 2003 |
| Haskell 98: A non-strict, purely functional language SP Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, J Fasel, ... | 249 | 1999 |
| Report on the programming language Haskell 98 SLP Jones, RJM Hughes, L Augustsson, D Barton, B Boutel, W Burton, ... | 186 | 1999 |
| A new approach to generic functional programming R Hinze Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000 | 178 | 2000 |
| Derivable type classes R Hinze, SP Jones Electronic notes in theoretical computer science 41 (1), 5-35, 2001 | 163 | 2001 |
| Finger trees: a simple general-purpose data structure R Hinze, R Paterson Journal of functional programming 16 (2), 197-217, 2006 | 151 | 2006 |
| A lightweight implementation of generics and dynamics J Cheney, R Hinze Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell, 90-104, 2002 | 150 | 2002 |
| Chapter 1. Generic Haskell: Practice and Theory R Hinze, J Jeuring Generic Programming: Advanced Lectures, 1-56, 2003 | 141 | 2003 |
| Just do it: simple monadic equational reasoning J Gibbons, R Hinze ACM SIGPLAN Notices 46 (9), 2-14, 2011 | 133 | 2011 |
| Report on the programming language Haskell 98, a non-strict purely functional language SP Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, J Fasel, ... Yale University, Department of Computer Science Tech Report YALEU/DCS/RR-ll06, 1999 | 112 | 1999 |
| Deriving backtracking monad transformers R Hinze ACM SIGPLAN Notices 35 (9), 186-197, 2000 | 109 | 2000 |
| Polytypic values possess polykinded types R Hinze International Conference on Mathematics of Program Construction, 2-27, 2000 | 97 | 2000 |
| Effect handlers in scope N Wu, T Schrijvers, R Hinze Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell, 1-12, 2014 | 96 | 2014 |
| Fun with phantom types R Hinze The fun of programming, 245-262, 2003 | 94 | 2003 |
| 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 |
| Haskell 98–A non-strict, purely functional language S Peyton Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, ... | 87 | 1999 |
| Generalizing generalized tries R Hinze Journal of Functional Programming 10 (4), 327-351, 2000 | 86 | 2000 |
| Polytypic values possess polykinded types R Hinze Science of Computer Programming 43 (2-3), 129-159, 2002 | 81 | 2002 |
Andres LöhHaskell Consultant, Well-Typed LLPVerified email at well-typed.com
