Follow
Paul Hudak
Paul Hudak
Professor of Computer Science, Yale University
Verified email at yale.edu
Title
Cited by
Cited by
Year
Memory coherence in shared virtual memory systems
K Li, P Hudak
ACM Transactions on Computer Systems (TOCS) 7 (4), 321-359, 1989
22291989
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
14701992
Functional reactive animation
C Elliott, P Hudak
Proceedings of the second ACM SIGPLAN international conference on Functional …, 1997
9831997
Conception, evolution, and application of functional programming languages
P Hudak
ACM Computing Surveys (CSUR) 21 (3), 359-411, 1989
7781989
Monad transformers and modular interpreters
S Liang, P Hudak, M Jones
Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995
7661995
Building domain-specific embedded languages
P Hudak
Acm computing surveys (csur) 28 (4es), 196-es, 1996
7141996
Modular domain specific languages and tools
P Hudak
Proceedings. Fifth international conference on software reuse (Cat. No …, 1998
5791998
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
5451986
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
4862007
A gentle introduction to Haskell
P Hudak, JH Fasel
ACM Sigplan Notices 27 (5), 1-52, 1992
452*1992
The Haskell school of expression: learning functional programming through multimedia
P Hudak
Cambridge University Press, 2000
3932000
Functional reactive programming from first principles
Z Wan, P Hudak
Proceedings of the ACM SIGPLAN 2000 conference on Programming language …, 2000
3492000
Arrows, robots, and functional reactive programming
P Hudak, A Courtney, H Nilsson, J Peterson
Advanced Functional Programming: 4th International School, AFP 2002, Oxford …, 2003
3332003
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
3022013
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
2811986
Haskell 98: A non-strict, purely functional language
SP Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, J Fasel, ...
2451999
Report on the programming language Haskell 98
SLP Jones, RJM Hughes, L Augustsson, D Barton, B Boutel, W Burton, ...
1851999
Lambda in motion: Controlling robots with Haskell
J Peterson, P Hudak, C Elliott
Practical Aspects of Declarative Languages: First International Workshop …, 1998
1651998
Realistic compilation by program transformation (detailed summary)
R Kelsey, P Hudak
Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989
1651989
The aggregate update problem in functional programming systems
P Hudak, A Bloss
Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of …, 1985
1651985
The system can't perform the operation now. Try again later.
Articles 1–20