Paul Hudak
Paul Hudak
Professor of Computer Science, Yale University
Verified email at
Cited by
Cited by
Memory coherence in shared virtual memory systems
K Li, P Hudak
ACM Transactions on Computer Systems (TOCS) 7 (4), 321-359, 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
Functional reactive animation
C Elliott, P Hudak
Proceedings of the second ACM SIGPLAN international conference on Functional …, 1997
Conception, evolution, and application of functional programming languages
P Hudak
ACM Computing Surveys (CSUR) 21 (3), 359-411, 1989
Monad transformers and modular interpreters
S Liang, P Hudak, M Jones
Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995
Building domain-specific embedded languages
P Hudak
Acm computing surveys (csur) 28 (4es), 196-es, 1996
Modular domain specific languages and tools
P Hudak
Proceedings. Fifth international conference on software reuse (Cat. No …, 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
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
A gentle introduction to Haskell
P Hudak, JH Fasel
ACM Sigplan Notices 27 (5), 1-52, 1992
The Haskell school of expression: learning functional programming through multimedia
P Hudak
Cambridge University Press, 2000
Functional reactive programming from first principles
Z Wan, P Hudak
Proceedings of the ACM SIGPLAN 2000 conference on Programming language …, 2000
Arrows, robots, and functional reactive programming
P Hudak, A Courtney, H Nilsson, J Peterson
International School on Advanced Functional Programming, 159-187, 2002
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
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
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
Report on the programming language Haskell 98
SLP Jones, RJM Hughes, L Augustsson, D Barton, B Boutel, W Burton, ...
Scalable software defined network controllers
A Voellmy, J Wang
Proceedings of the ACM SIGCOMM 2012 conference on Applications, technologies …, 2012
Realistic compilation by program transformation (detailed summary)
R Kelsey, P Hudak
Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of …, 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
The system can't perform the operation now. Try again later.
Articles 1–20