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 | 1473 | 1992 |
Comprehending monads P Wadler Proceedings of the 1990 ACM Conference on LISP and Functional Programming, 61-78, 1990 | 1409 | 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 | 1249 | 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 | 1231 | 1989 |
Deforestation: Transforming programs to eliminate trees P Wadler European Symposium on Programming, 344-358, 1988 | 1185 | 1988 |
Theorems for free! P Wadler Proceedings of the fourth international conference on Functional programming …, 1989 | 1182 | 1989 |
The essence of functional programming P Wadler Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992 | 1169 | 1992 |
Monads for functional programming P Wadler Advanced Functional Programming: First International Spring School on …, 1995 | 1021 | 1995 |
Linear types can change the world! P Wadler Programming concepts and methods 3 (4), 5, 1990 | 857 | 1990 |
Imperative functional programming SL Peyton Jones, P Wadler Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993 | 804 | 1993 |
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 | 801 | 1998 |
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 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 | 513 | 2007 |
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 | 509 | 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 | 499 | 1999 |
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 | 495 | 2006 |
Propositions as sessions P Wadler ACM SIGPLAN Notices 47 (9), 273-286, 2012 | 446 | 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 | 384 | 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 | 381 | 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 | 368 | 1996 |