| Memory coherence in shared virtual memory systems K Li, P Hudak ACM Transactions on Computer Systems (TOCS) 7 (4), 321-359, 1989 | 2240 | 1989 |
| 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 | 1468 | 1992 |
| Functional reactive animation C Elliott, P Hudak Proceedings of the second ACM SIGPLAN international conference on Functional …, 1997 | 1002 | 1997 |
| Conception, evolution, and application of functional programming languages P Hudak ACM Computing Surveys (CSUR) 21 (3), 359-411, 1989 | 784 | 1989 |
| Monad transformers and modular interpreters S Liang, P Hudak, M Jones Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995 | 780 | 1995 |
| Building domain-specific embedded languages P Hudak Acm computing surveys (csur) 28 (4es), 196-es, 1996 | 715 | 1996 |
| Modular domain specific languages and tools P Hudak Proceedings. Fifth international conference on software reuse (Cat. No …, 1998 | 585 | 1998 |
| Orbit: An optimizing compiler for Scheme N Adams, D Kranz, R Kelsey, J Rees, P Hudak, J Philbin ACM SIGPLAN Notices 21 (7), 219-233, 1986 | 547 | 1986 |
| 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 | 502 | 2007 |
| A gentle introduction to Haskell P Hudak, JH Fasel ACM Sigplan Notices 27 (5), 1-52, 1992 | 453* | 1992 |
| The Haskell school of expression: learning functional programming through multimedia P Hudak Cambridge University Press, 2000 | 393 | 2000 |
| Functional reactive programming from first principles Z Wan, P Hudak Proceedings of the ACM SIGPLAN 2000 conference on Programming language …, 2000 | 357 | 2000 |
| Arrows, robots, and functional reactive programming P Hudak, A Courtney, H Nilsson, J Peterson Advanced Functional Programming: 4th International School, AFP 2002, Oxford …, 2003 | 336 | 2003 |
| Maple: Simplifying SDN programming using algorithmic policies A Voellmy, J Wang, YR Yang, B Ford, P Hudak ACM SIGCOMM Computer Communication Review 43 (4), 87-98, 2013 | 308 | 2013 |
| A semantic model of reference counting and its abstraction (detailed summary) P Hudak Proceedings of the 1986 ACM Conference on LISP and Functional Programming …, 1986 | 287 | 1986 |
| 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 |
| Realistic compilation by program transformation (detailed summary) R Kelsey, P Hudak Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989 | 166 | 1989 |
| The aggregate update problem in functional programming systems P Hudak, A Bloss Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of …, 1985 | 166 | 1985 |
| Real-time FRP Z Wan, W Taha, P Hudak Proceedings of the sixth ACM SIGPLAN international conference on Functional …, 2001 | 165 | 2001 |
