default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPaul Hudak
Person information
- affiliation: Yale University, New Haven, CT, USA
- award (1985): Presidential Young Investigator Award
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2011
[j21]Hai Liu, Eric Cheng, Paul Hudak:
Causal commutative arrows. J. Funct. Program. 21(4-5): 467-496 (2011)- 2004
- [j20]Paul Hudak, Greg Morrisett:
Editorial. J. Funct. Program. 14(4) (2004) - [j19]Rajiv Mirani, Paul Hudak:
First-class monadic schedules. ACM Trans. Program. Lang. Syst. 26(4): 609-651 (2004) - 2000
- [j18]Paul Hudak:
Principles of functional reactive programming. ACM SIGSOFT Softw. Eng. Notes 25(1): 59 (2000) - 1996
- [j17]Paul Hudak:
Building Domain-Specific Embedded Languages. ACM Comput. Surv. 28(4es): 196 (1996) - [j16]Paul Hudak, Tom Makucevich, Syam Gadde, Bo Whong:
Haskore Music Notation - An Algebra of Music. J. Funct. Program. 6(3): 465-483 (1996) - 1995
- [j15]Amir Kishon, Paul Hudak:
Semantics Directed Program Execution Monitoring. J. Funct. Program. 5(4): 501-547 (1995) - 1992
- [j14]Joseph H. Fasel, Paul Hudak, Simon L. Peyton Jones, Philip Wadler:
SIGPLAN Notices Special Issue on the Functional Programming Language Haskell. ACM SIGPLAN Notices 27(5): 1 (1992) - [j13]Paul Hudak, Joseph H. Fasel:
A Gentle Introduction to Haskell. ACM SIGPLAN Notices 27(5): 1- (1992) - [j12]Paul Hudak, Simon L. Peyton Jones, Philip Wadler, Brian Boutel, Jon Fairbairn, Joseph H. Fasel, María M. Guzmán, Kevin Hammond
, John Hughes, Thomas Johnsson, Richard B. Kieburtz, Rishiyur S. Nikhil, Will Partain, John Peterson:
Report on the Programming Language Haskell, A Non-strict, Purely Functional Language. ACM SIGPLAN Notices 27(5): 1- (1992) - 1991
- [j11]Paul Hudak, Jonathan Young:
Collecting Interpretations of Expressions. ACM Trans. Program. Lang. Syst. 13(2): 269-290 (1991) - 1989
- [j10]Adrienne G. Bloss, Paul Hudak, Jonathan Young:
An Optimising Compiler for a Modern Functional Language. Comput. J. 32(2): 152-161 (1989) - [j9]Paul Hudak:
Conception, Evolution, and Application of Functional Programming Languages. ACM Comput. Surv. 21(3): 359-411 (1989) - [j8]Kai Li, Paul Hudak:
Memory Coherence in Shared Virtual Memory Systems. ACM Trans. Comput. Syst. 7(4): 321-359 (1989) - 1988
- [j7]Adrienne G. Bloss, Paul Hudak, Jonathan Young:
Code Optimizations for Lazy Evaluation. LISP Symb. Comput. 1(2): 147-164 (1988) - [j6]Paul Hudak:
Exploring Parafunctional Programming: Separating the What from the How. IEEE Softw. 5(1): 54-61 (1988) - [j5]Zhijing G. Mou, Paul Hudak:
An algebraic model for divide-and-conquer and its parallelism. J. Supercomput. 2(3): 257-278 (1988) - 1986
- [j4]Paul Hudak:
Para-Functional Programming. Computer 19(8): 60-70 (1986) - [j3]Paul Hudak:
Denotational semantics of a para-functional programming language. Int. J. Parallel Program. 15(2): 103-125 (1986) - [j2]Kai Li, Paul Hudak:
A New List Compaction Method. Softw. Pract. Exp. 16(2): 145-163 (1986) - 1985
- [j1]Paul Hudak, Benjamin Goldberg:
Distributed Execution of Functional Programs Using Serial Combinators. IEEE Trans. Computers 34(10): 881-891 (1985)
Conference and Workshop Papers
- 2015
- [c74]Paul Hudak, Donya Quick, Mark Santolucito, Daniel Winograd-Cort:
Real-time interactive music in Haskell. FARM@ICFP 2015: 15-16 - [c73]Mark Santolucito, Donya Quick, Paul Hudak:
Media Modules: Intermedia Systems in a Pure Functional Paradigm. ICMC 2015 - 2014
- [c72]Paul Hudak, David Janin:
Tiled polymorphic temporal media. FARM@ICFP 2014: 49-60 - [c71]Daniel Winograd-Cort, Paul Hudak:
Settable and non-interfering signal functions for FRP: how a first-order switch is more than enough. ICFP 2014: 213-225 - 2013
- [c70]Andreas Voellmy, Junchang Wang, Paul Hudak, Kazuhiko Yamamoto:
Mio: a high-performance multicore io manager for GHC. Haskell 2013: 129-140 - [c69]Donya Quick, Paul Hudak:
Grammar-based automated music composition in Haskell. FARM@ICFP 2013: 59-70 - [c68]Donya Quick, Paul Hudak:
A Temporal Generative Graph Grammar for harmonic and Metrical Structure. ICMC 2013 - [c67]Andreas Voellmy, Junchang Wang, Yang Richard Yang, Bryan Ford, Paul Hudak:
Maple: simplifying SDN programming using algorithmic policies. SIGCOMM 2013: 87-98 - 2012
- [c66]Daniel Winograd-Cort, Paul Hudak:
Wormholes: introducing effects to FRP. Haskell 2012: 91-104 - [c65]Donya Quick, Paul Hudak:
Computing with Chord Spaces. ICMC 2012 - [c64]Daniel Winograd-Cort, Hai Liu, Paul Hudak:
Virtualizing Real-World Objects in FRP. PADL 2012: 227-241 - 2011
- [c63]Andreas Voellmy, Paul Hudak:
Nettle: Taking the Sting Out of Programming Network Routers. PADL 2011: 235-249 - 2010
- [c62]Hai Liu, Paul Hudak:
An Ode to Arrows. PADL 2010: 152-166 - [c61]Zhijing G. Mou, Hai Liu, Paul Hudak:
Compress-and-conquer for optimal multicore computing. DAMP 2010: 35-44 - 2009
- [c60]Andreas Voellmy, Paul Hudak:
Nettle: A Language for Configuring Routing Networks. DSL 2009: 211-235 - [c59]Hai Liu, Eric Cheng, Paul Hudak:
Causal commutative arrows and their optimization. ICFP 2009: 35-46 - 2007
- [c58]Henrik Nilsson, John Peterson, Paul Hudak:
Functional Hybrid Modeling from an Object-Oriented Perspective. EOOLT 2007: 71-87 - [c57]Paul Hudak, John Hughes, Simon L. Peyton Jones, Philip Wadler:
A history of Haskell: being lazy with class. HOPL 2007: 1-55 - [c56]Liwen Huang, Paul Hudak, John Peterson:
HPorter: Using Arrows to Compose Parallel Processes. PADL 2007: 275-289 - [c55]Hai Liu, Paul Hudak:
Plugging a Space Leak with an Arrow. Festschrift honoring Gary Lindstrom 2007: 29-45 - 2004
- [c54]Paul Hudak:
An Algebraic Theory of Polymorphic Temporal Media. PADL 2004: 1-15 - 2003
- [c53]Henrik Nilsson, John Peterson, Paul Hudak:
Functional Hybrid Modeling. PADL 2003: 376-390 - 2002
- [c52]Paul Hudak, Antony Courtney, Henrik Nilsson, John Peterson:
Arrows, Robots, and Functional Reactive Programming. Advanced Functional Programming 2002: 159-187 - [c51]Zhanyong Wan, Walid Taha, Paul Hudak:
Event-Driven FRP. PADL 2002: 155-172 - 2001
- [c50]Walid Taha, Paul Hudak, Zhanyong Wan:
Directions in Functional Programming for Real(-Time) Applications. EMSOFT 2001: 185-203 - [c49]Zhanyong Wan, Walid Taha, Paul Hudak:
Real-Time FRP. ICFP 2001: 146-156 - [c48]John Peterson, Paul Hudak, Alastair Reid, Gregory D. Hager:
FVision: A Declarative Language for Visual Tracking. PADL 2001: 304-321 - 2000
- [c47]Zhanyong Wan, Paul Hudak:
Functional reactive programming from first principles. PLDI 2000: 242-252 - 1999
- [c46]Paul Hudak:
Functional Reactive Programming (Abstract). ESOP 1999: 1 - [c45]John Peterson, Gregory D. Hager, Paul Hudak:
A Language for Declarative Robotic Programming. ICRA 1999: 1144-1151 - [c44]Alastair Reid, John Peterson, Gregory D. Hager, Paul Hudak:
Prototyping Real-Time Vision Systems: An Experiment in DSL Design. ICSE 1999: 484-493 - [c43]John Peterson, Paul Hudak, Conal Elliott:
Lambda in Motion: Controlling Robots with Haskell. PADL 1999: 91-105 - [c42]Mark Tullsen, Paul Hudak:
Shifting Expression Procedures into Reverse. PEPM 1999: 95-104 - 1998
- [c41]Paul Hudak:
Modular domain specific languages and tools. ICSR 1998: 134-142 - 1997
- [c40]Paul Hudak:
Keynote Address - The Promise of Domain-Specific Languages. DSL 1997 - [c39]Conal Elliott, Paul Hudak:
Functional Reactive Animation. ICFP 1997: 263-273 - [c38]Sebastian Shaumyan, Paul Hudak:
Linguistic, Philosophical, and Pragmatic Aspects of Type-Directed Natural Language. LACL 1997: 70-91 - [c37]Chih-Ping Chen, Paul Hudak:
Rolling Your Own MADT - A Connection Between Linear Types and Monads. POPL 1997: 54-66 - 1996
- [c36]Paul Hudak:
Haskore Music Tutorial. Advanced Functional Programming 1996: 38-67 - [c35]Sheng Liang, Paul Hudak:
Modular Denotational Semantics for Compiler Construction. ESOP 1996: 219-234 - 1995
- [c34]Mark P. Jones, Paul Hudak, Sebastian Shaumyan:
Using Types to Parse Natural Language. Functional Programming 1995: 7 - [c33]Rajiv Mirani, Paul Hudak:
First-Class Schedules and Virtual Maps. FPCA 1995: 78-85 - [c32]Paul Hudak, Jonathan Berger:
A Model Performance, Interaction and Improvisation. ICMC 1995 - [c31]Sheng Liang, Paul Hudak, Mark P. Jones:
Monad Transformers and Modular Interpreters. POPL 1995: 333-343 - 1993
- [c30]Martin Odersky, Dan Rabin, Paul Hudak:
Call by Name, Assignment, and the Lambda Calculus. POPL 1993: 43-56 - [c29]Paul Hudak:
Reflections on Program Optimization. WSA 1993: 193 - 1992
- [c28]Kung Chen, Paul Hudak, Martin Odersky:
Parametric Type Classes. LISP and Functional Programming 1992: 170-181 - 1991
- [c27]Amir Kishon, Paul Hudak, Charles Consel:
Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors. PLDI 1991: 338-352 - [c26]R. S. Sundaresh, Paul Hudak:
Incremental Compilation via Partial Evaluation. POPL 1991: 1-13 - 1990
- [c25]Juan C. Guzmán, Paul Hudak:
Single-Threaded Polymorphic Lambda Calculus. LICS 1990: 333-343 - [c24]Steven Anderson, Paul Hudak:
Compilation of Haskell Array Comprehensions for Scientific Computing. PLDI 1990: 137-149 - 1989
- [c23]Richard Kelsey, Paul Hudak:
Realistic Compilation by Program Transformation. POPL 1989: 281-292 - 1988
- [c22]Benjamin Goldberg, Paul Hudak:
Implementing functional programs on a hypercube multiprocessor. C³P 1988: 489-504 - [c21]Paul Hudak, Eric Mohr:
Graphinators and the Duality of SIMD and MIMD. LISP and Functional Programming 1988: 224-234 - [c20]Paul Hudak, Jonathan Young:
A Collecting Interpretation of Expressions (Without Powerdomains). POPL 1988: 107-118 - 1987
- [c19]Paul Hudak:
Para-Functional Languages for Parallel and Distributed Computing. COMPCON 1987: 334-337 - [c18]Paul Hudak, Steven Anderson:
Pomset interpretations of parallel functional programs. FPCA 1987: 234-256 - [c17]Adrienne G. Bloss, Paul Hudak:
Path Semantics. MFPS 1987: 476-489 - 1986
- [c16]Benjamin Goldberg, Paul Hudak:
Alfalfa: Distributed graph reduction on a hypercube multiprocessor. Graph Reduction 1986: 94-113 - [c15]Paul Hudak:
Arrays, non-determinism, side-effects, and parallelism: A functional perspective. Graph Reduction 1986: 312-327 - [c14]Adrienne G. Bloss, Paul Hudak:
Variations on Strictness Analysis. LISP and Functional Programming 1986: 132-142 - [c13]Paul Hudak:
A Semantic Model of Reference Counting and its Abstraction (Detailed Summary). LISP and Functional Programming 1986: 351-363 - [c12]David A. Kranz, Richard Kelsey, Jonathan Rees, Paul Hudak, James Philbin, Norman Adams:
Orbit: an optimizing compiler for scheme (with retrospective). Best of PLDI 1986: 175-191 - [c11]Kai Li, Paul Hudak:
Memory Coherence in Shared Virtual Memory Systems. PODC 1986: 229-239 - [c10]Paul Hudak, Jonathan Young:
Higher-Order Strictness Analysis in Untyped Lambda Calculus. POPL 1986: 97-109 - [c9]Paul Hudak, Lauren Smith:
Para-Functional Programming: A Paradigm for Programming Multiprocessor Systems. POPL 1986: 243-254 - [c8]David A. Kranz, Richard Kelsey, Jonathan Rees, Paul Hudak, James Philbin:
ORBIT: an optimizing compiler for scheme. SIGPLAN Symposium on Compiler Construction 1986: 219-233 - 1985
- [c7]Paul Hudak, Benjamin Goldberg:
Serial Combinators: "Optimal" Grains of Parallelism. FPCA 1985: 382-399 - [c6]Paul Hudak, Benjamin Goldberg:
Efficient Distributed Evaluation of Functional Programs Using Serial Combinators. ICPP 1985: 831-839 - [c5]Paul Hudak, Adrienne G. Bloss:
The Aggregate Update Problem in Functional Programming Systems. POPL 1985: 300-314 - 1984
- [c4]Paul Hudak, Benjamin Goldberg:
Experiments in Diffused Combinator Reduction. LISP and Functional Programming 1984: 167-176 - [c3]Paul Hudak, David A. Kranz:
A Combinator-Based Compiler for a Functional Language. POPL 1984: 122-132 - 1983
- [c2]Paul Hudak:
Distributed Task and Memory Management. PODC 1983: 277-289 - 1982
- [c1]Paul Hudak, Robert M. Keller:
Garbage Collection and Task Deletion in Distributed Applicative Processing Systems. Symposium on LISP and Functional Programming 1982: 168-178
Editorship
- 2013
- [e4]Paul Hudak, Conal Elliott:
Proceedings of the first ACM SIGPLAN workshop on Functional art, music, modeling & design, FARM@ICFP 2013, Boston, MA, USA, September 25-27, 2013. ACM 2013, ISBN 978-1-4503-2386-4 [contents] - 2010
- [e3]Paul Hudak, Stephanie Weirich:
Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010. ACM 2010, ISBN 978-1-60558-794-3 [contents] - 2008
- [e2]Paul Hudak, David Scott Warren:
Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Lecture Notes in Computer Science 4902, Springer 2008, ISBN 978-3-540-77441-9 [contents] - 1998
- [e1]Matthias Felleisen, Paul Hudak, Christian Queinnec:
Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Baltimore, Maryland, USA, September 27-29, 1998. ACM 1998, ISBN 1-58113-024-4 [contents]
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-06-17 00:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
