Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Paul Hudak
2010 – today
- 2012
[c61]- [c60]Daniel Winograd-Cort, Hai Liu, Paul Hudak: Virtualizing Real-World Objects in FRP. PADL 2012: 227-241
- 2011
- [j21]Hai Liu, Eric Cheng, Paul Hudak: Causal commutative arrows. J. Funct. Program. 21(4-5): 467-496 (2011)
- [c59]Andreas Voellmy, Paul Hudak: Nettle: Taking the Sting Out of Programming Network Routers. PADL 2011: 235-249
- 2010
- [c58]
- [c57]Zhijing G. Mou, Hai Liu, Paul Hudak: Compress-and-conquer for optimal multicore computing. DAMP 2010: 35-44
- [e3]Paul Hudak, Stephanie Weirich (Eds.): Proceeding 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
2000 – 2009
- 2009
- [c56]
- [c55]
- 2008
- [e2]Paul Hudak, David Scott Warren (Eds.): 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
- 2007
- [j20]Hai Liu, Paul Hudak: Plugging a Space Leak with an Arrow. Electr. Notes Theor. Comput. Sci. 193: 29-45 (2007)
- [c54]Henrik Nilsson, John Peterson, Paul Hudak: Functional Hybrid Modeling from an Object-Oriented Perspective. EOOLT 2007: 71-87
- [c53]Paul Hudak, John Hughes, Simon L. Peyton Jones, Philip Wadler: A history of Haskell: being lazy with class. HOPL 2007: 1-55
- [c52]Liwen Huang, Paul Hudak, John Peterson: HPorter: Using Arrows to Compose Parallel Processes. PADL 2007: 275-289
- 2004
- [j19]
- [j18]Rajiv Mirani, Paul Hudak: First-class monadic schedules. ACM Trans. Program. Lang. Syst. 26(4): 609-651 (2004)
- [c51]
- 2003
- [c50]
- 2002
- [c49]Paul Hudak, Antony Courtney, Henrik Nilsson, John Peterson: Arrows, Robots, and Functional Reactive Programming. Advanced Functional Programming 2002: 159-187
- [c48]
- 2001
- [c47]Walid Taha, Paul Hudak, Zhanyong Wan: Directions in Functional Programming for Real(-Time) Applications. EMSOFT 2001: 185-203
- [c46]
- [c45]John Peterson, Paul Hudak, Alastair Reid, Gregory D. Hager: FVision: A Declarative Language for Visual Tracking. PADL 2001: 304-321
- 2000
- [j17]Paul Hudak: Principles of functional reactive programming. ACM SIGSOFT Software Engineering Notes 25(1): 59 (2000)
- [c44]
1990 – 1999
- 1999
- [c43]
- [c42]John Peterson, Gregory D. Hager, Paul Hudak: A Language for Declarative Robotic Programming. ICRA 1999: 1144-1151
- [c41]Alastair Reid, John Peterson, Gregory D. Hager, Paul Hudak: Prototyping Real-Time Vision Systems: An Experiment in DSL Design. ICSE 1999: 484-493
- [c40]John Peterson, Paul Hudak, Conal Elliott: Lambda in Motion: Controlling Robots with Haskell. PADL 1999: 91-105
- [c39]
- 1998
- [e1]Matthias Felleisen, Paul Hudak, Christian Queinnec (Eds.): Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Baltimore, Maryland, USA, September 27-29, 1998. ACM 1998, ISBN 0-58113-024-4
- 1997
- [c38]
- [c37]
- [c36]Sebastian Shaumyan, Paul Hudak: Linguistic, Philosophical, and Pragmatic Aspects of Type-Directed Natural Language. LACL 1997: 70-91
- [c35]Chih-Ping Chen, Paul Hudak: Rolling Your Own MADT - A Connection Between Linear Types and Monads. POPL 1997: 54-66
- 1996
- [j16]
- [j15]Paul Hudak, Tom Makucevich, Syam Gadde, Bo Whong: Haskore Music Notation - An Algebra of Music. J. Funct. Program. 6(3): 465-483 (1996)
- [c34]
- [c33]Sheng Liang, Paul Hudak: Modular Denotational Semantics for Compiler Construction. ESOP 1996: 219-234
- 1995
- [j14]Amir Kishon, Paul Hudak: Semantics Directed Program Execution Monitoring. J. Funct. Program. 5(4): 501-547 (1995)
- [c32]Mark P. Jones, Paul Hudak, Sebastian Shaumyan: Using Types to Parse Natural Language. Functional Programming 1995: 7
- [c31]
- [c30]Sheng Liang, Paul Hudak, Mark P. Jones: Monad Transformers and Modular Interpreters. POPL 1995: 333-343
- 1993
- [c29]Martin Odersky, Dan Rabin, Paul Hudak: Call by Name, Assignment, and the Lambda Calculus. POPL 1993: 43-56
- [c28]
- 1992
- [j13]Joseph H. Fasel, Paul Hudak, Simon L. Peyton Jones, Philip Wadler: SIGPLAN Notices Special Issue on the Functional Programming Language Haskell. SIGPLAN Notices 27(5): 1 (1992)
- [j12]
- [j11]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. SIGPLAN Notices 27(5): 1- (1992)
- [c27]Kung Chen, Paul Hudak, Martin Odersky: Parametric Type Classes. LISP and Functional Programming 1992: 170-181
- 1991
- [j10]Paul Hudak, Jonathan Young: Collecting Interpretations of Expressions. ACM Trans. Program. Lang. Syst. 13(2): 269-290 (1991)
- [c26]Amir Kishon, Paul Hudak, Charles Consel: Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors. PLDI 1991: 338-352
- [c25]
- 1990
- [c24]
- [c23]Steven Anderson, Paul Hudak: Compilation of Haskell Array Comprehensions for Scientific Computing. PLDI 1990: 137-149
1980 – 1989
- 1989
- [j9]Adrienne Bloss, Paul Hudak, Jonathan Young: An Optimising Compiler for a Modern Functional Language. Comput. J. 32(2): 152-161 (1989)
- [j8]Paul Hudak: Conception, Evolution, and Application of Functional Programming Languages. ACM Comput. Surv. 21(3): 359-411 (1989)
- [j7]Kai Li, Paul Hudak: Memory Coherence in Shared Virtual Memory Systems. ACM Trans. Comput. Syst. 7(4): 321-359 (1989)
- [c22]
- 1988
- [j6]Adrienne Bloss, Paul Hudak, Jonathan Young: Code Optimizations for Lazy Evaluation. Lisp and Symbolic Computation 1(2): 147-164 (1988)
- [j5]Paul Hudak: Exploring Parafunctional Programming: Separating the What from the How. IEEE Software 5(1): 54-61 (1988)
- [j4]Zhijing G. Mou, Paul Hudak: An algebraic model for divide-and-conquer and its parallelism. The Journal of Supercomputing 2(3): 257-278 (1988)
- [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]
- [c18]Paul Hudak, Steven Anderson: Pomset interpretations of parallel functional programs. FPCA 1987: 234-256
- [c17]
- 1986
- [j3]Paul Hudak: Denotational semantics of a para-functional programming language. International Journal of Parallel Programming 15(2): 103-125 (1986)
- [j2]
- [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 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]
- [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
- [j1]Paul Hudak, Benjamin Goldberg: Distributed Execution of Functional Programs Using Serial Combinators. IEEE Trans. Computers 34(10): 881-891 (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 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]
- 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
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-12 21:32 CEST by the dblp team