| Report on the programming language Haskell: a non-strict, purely functional language version 1.2 P Hudak, S Peyton Jones, P Wadler, B Boutel, J Fairbairn, J Fasel, ... ACM SigPlan notices 27 (5), 1-164, 1992 | 1470 | 1992 |
| Comprehending monads P Wadler Proceedings of the 1990 ACM Conference on LISP and Functional Programming, 61-78, 1990 | 1389 | 1990 |
| Featherweight Java: a minimal core calculus for Java and GJ A Igarashi, BC Pierce, P Wadler ACM Transactions on Programming Languages and Systems (TOPLAS) 23 (3), 396-450, 2001 | 1224 | 2001 |
| How to make ad-hoc polymorphism less ad hoc P Wadler, S Blott Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989 | 1199 | 1989 |
| Deforestation: Transforming programs to eliminate trees P Wadler European Symposium on Programming, 344-358, 1988 | 1163 | 1988 |
| Theorems for free! P Wadler Proceedings of the fourth international conference on Functional programming …, 1989 | 1150 | 1989 |
| The essence of functional programming P Wadler Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992 | 1141 | 1992 |
| Monads for functional programming P Wadler Advanced Functional Programming: First International Spring School on …, 1995 | 988 | 1995 |
| Linear types can change the world! P Wadler Programming concepts and methods 3 (4), 5, 1990 | 828 | 1990 |
| Making the future safe for the past: Adding genericity to the Java programming language G Bracha, M Odersky, D Stoutamire, P Wadler Acm sigplan notices 33 (10), 183-200, 1998 | 793 | 1998 |
| Imperative functional programming SL Peyton Jones, P Wadler Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993 | 790 | 1993 |
| Pizza into Java: Translating theory into practice M Odersky, P Wadler Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997 | 687 | 1997 |
| A call-by-need lambda calculus ZM Ariola, J Maraist, M Odersky, M Felleisen, P Wadler Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995 | 500 | 1995 |
| Featherweight Java: A minimal core calculus for Java and GJ A Igarashi, B Pierce, P Wadler ACM SIGPLAN Notices 34 (10), 132-146, 1999 | 496 | 1999 |
| A history of Haskell: being lazy with class P Hudak, J Hughes, S Peyton Jones, P Wadler Proceedings of the third ACM SIGPLAN conference on History of programming …, 2007 | 489 | 2007 |
| Links: Web programming without tiers E Cooper, S Lindley, P Wadler, J Yallop International Symposium on Formal Methods for Components and Objects, 266-296, 2006 | 489 | 2006 |
| Propositions as sessions P Wadler ACM SIGPLAN Notices 47 (9), 273-286, 2012 | 419 | 2012 |
| How to replace failure by a list of successes a method for exception handling, backtracking, and pattern matching in lazy functional languages P Wadler Conference on Functional Programming Languages and Computer Architecture …, 1985 | 377 | 1985 |
| Views: A way for pattern matching to cohabit with data abstraction P Wadler Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of …, 1987 | 371 | 1987 |
| Type classes in Haskell CV Hall, K Hammond, SL Peyton Jones, PL Wadler ACM Transactions on Programming Languages and Systems (TOPLAS) 18 (2), 109-138, 1996 | 352 | 1996 |
| The Glasgow Haskell compiler: a technical overview SLP Jones, C Hall, K Hammond, W Partain, P Wadler Proc. UK Joint Framework for Information Technology (JFIT) Technical …, 1993 | 346 | 1993 |
| Well-typed programs can’t be blamed P Wadler, RB Findler European Symposium on Programming, 1-16, 2009 | 330 | 2009 |
| Projections for strictness analysis P Wadler, RJM Hughes Conference on Functional Programming Languages and Computer Architecture …, 1987 | 283 | 1987 |
| Propositions as types P Wadler Communications of the ACM 58 (12), 75-84, 2015 | 267 | 2015 |
| Haskell 98: A non-strict, purely functional language SP Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, J Fasel, ... | 245 | 1999 |
| Blame for all A Ahmed, RB Findler, JG Siek, P Wadler Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011 | 225* | 2011 |
| How to declare an imperative P Wadler ACM Computing Surveys (CSUR) 29 (3), 240-263, 1997 | 224 | 1997 |
| Call-by-value is dual to call-by-name P Wadler Proceedings of the eighth ACM SIGPLAN international conference on Functional …, 2003 | 222 | 2003 |
| A statically safe alternative to virtual types KB Bruce, M Odersky, P Wadler ECOOP’98—Object-Oriented Programming: 12th European Conference Brussels …, 1998 | 198 | 1998 |
| Is there a use for linear logic? P Wadler ACM SIGPLAN Notices 26 (9), 255-273, 1991 | 197 | 1991 |
| Once upon a type DN Turner, P Wadler, C Mossin Proceedings of the seventh international conference on Functional …, 1995 | 187 | 1995 |
| Report on the programming language Haskell 98 SLP Jones, RJM Hughes, L Augustsson, D Barton, B Boutel, W Burton, ... | 185 | 1999 |
| The call-by-need lambda calculus J Maraist, M Odersky, P Wadler Journal of functional programming 8 (3), 275-317, 1998 | 185 | 1998 |
| Strictness analysis on non-flat domains P Wadler Abstract interpretation of declarative languages, 266-275, 1987 | 185 | 1987 |
| A reflection on call-by-value A Sabry, P Wadler ACM transactions on programming languages and systems (TOPLAS) 19 (6), 916-941, 1997 | 182 | 1997 |
| XQuery 1.0 and XPath 2.0 formal semantics D Draper, P Fankhauser, M Fernandez, A Malhotra, K Rose, M Rys, ... W3C recommendation 23, 2007 | 174 | 2007 |
| Listlessness is better than laziness: Lazy evaluation and garbage collection at compile-time P Wadler Proceedings of the 1984 ACM Symposium on LISP and functional programming, 45-52, 1984 | 174 | 1984 |
| Why no one uses functional languages P Wadler ACM Sigplan Notices 33 (8), 23-27, 1998 | 161 | 1998 |
| The marriage of effects and monads P Wadler Proceedings of the third ACM SIGPLAN international conference on Functional …, 1998 | 157 | 1998 |
| Report on the functional programming language Haskell P Hudak Technical Report, 1988 | 155 | 1988 |
