The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Paul Hudak: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kai Li, Paul Hudak
    Memory Coherence in Shared Virtual Memory Systems. [Citation Graph (14, 0)][DBLP]
    ACM Trans. Comput. Syst., 1989, v:7, n:4, pp:321-359 [Journal]
  2. Conal Elliott, Paul Hudak
    Functional Reactive Animation. [Citation Graph (1, 0)][DBLP]
    ICFP, 1997, pp:263-273 [Conf]
  3. Paul Hudak, Robert M. Keller
    Garbage Collection and Task Deletion in Distributed Applicative Processing Systems. [Citation Graph (1, 0)][DBLP]
    Symposium on LISP and Functional Programming, 1982, pp:168-178 [Conf]
  4. Paul Hudak
    Conception, Evolution, and Application of Functional Programming Languages. [Citation Graph (1, 0)][DBLP]
    ACM Comput. Surv., 1989, v:21, n:3, pp:359-411 [Journal]
  5. 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. [Citation Graph (1, 0)][DBLP]
    SIGPLAN Notices, 1992, v:27, n:5, pp:0-0 [Journal]
  6. Paul Hudak
    Haskore Music Tutorial. [Citation Graph (0, 0)][DBLP]
    Advanced Functional Programming, 1996, pp:38-67 [Conf]
  7. Paul Hudak, Antony Courtney, Henrik Nilsson, John Peterson
    Arrows, Robots, and Functional Reactive Programming. [Citation Graph (0, 0)][DBLP]
    Advanced Functional Programming, 2002, pp:159-187 [Conf]
  8. Paul Hudak
    Para-Functional Languages for Parallel and Distributed Computing. [Citation Graph (0, 0)][DBLP]
    COMPCON, 1987, pp:334-337 [Conf]
  9. Paul Hudak
    Keynote Address - The Promise of Domain-Specific Languages. [Citation Graph (0, 0)][DBLP]
    DSL, 1997, pp:- [Conf]
  10. Walid Taha, Paul Hudak, Zhanyong Wan
    Directions in Functional Programming for Real(-Time) Applications. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2001, pp:185-203 [Conf]
  11. Sheng Liang, Paul Hudak
    Modular Denotational Semantics for Compiler Construction. [Citation Graph (0, 0)][DBLP]
    ESOP, 1996, pp:219-234 [Conf]
  12. Paul Hudak
    Functional Reactive Programming (Abstract). [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:1- [Conf]
  13. Mark P. Jones, Paul Hudak, Sebastian Shaumyan
    Using Types to Parse Natural Language. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1995, pp:7- [Conf]
  14. Rajiv Mirani, Paul Hudak
    First-Class Schedules and Virtual Maps. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:78-85 [Conf]
  15. Paul Hudak, Steven Anderson
    Pomset interpretations of parallel functional programs. [Citation Graph (0, 0)][DBLP]
    FPCA, 1987, pp:234-256 [Conf]
  16. Paul Hudak, Benjamin Goldberg
    Serial Combinators: ``Optimal'' Grains of Parallelism. [Citation Graph (0, 0)][DBLP]
    FPCA, 1985, pp:382-399 [Conf]
  17. Benjamin Goldberg, Paul Hudak
    Alfalfa: Distributed graph reduction on a hypercube multiprocessor. [Citation Graph (0, 0)][DBLP]
    Graph Reduction, 1986, pp:94-113 [Conf]
  18. Paul Hudak
    Arrays, non-determinism, side-effects, and parallelism: A functional perspective. [Citation Graph (0, 0)][DBLP]
    Graph Reduction, 1986, pp:312-327 [Conf]
  19. Zhanyong Wan, Walid Taha, Paul Hudak
    Real-Time FRP. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:146-156 [Conf]
  20. Paul Hudak, Benjamin Goldberg
    Efficient Distributed Evaluation of Functional Programs Using Serial Combinators. [Citation Graph (0, 0)][DBLP]
    ICPP, 1985, pp:831-839 [Conf]
  21. John Peterson, Gregory D. Hager, Paul Hudak
    A Language for Declarative Robotic Programming. [Citation Graph (0, 0)][DBLP]
    ICRA, 1999, pp:1144-1151 [Conf]
  22. Alastair Reid, John Peterson, Gregory D. Hager, Paul Hudak
    Prototyping Real-Time Vision Systems: An Experiment in DSL Design. [Citation Graph (0, 0)][DBLP]
    ICSE, 1999, pp:484-493 [Conf]
  23. Sebastian Shaumyan, Paul Hudak
    Linguistic, Philosophical, and Pragmatic Aspects of Type-Directed Natural Language. [Citation Graph (0, 0)][DBLP]
    LACL, 1997, pp:70-91 [Conf]
  24. Adrienne Bloss, Paul Hudak
    Variations on Strictness Analysis. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1986, pp:132-142 [Conf]
  25. Kung Chen, Paul Hudak, Martin Odersky
    Parametric Type Classes. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1992, pp:170-181 [Conf]
  26. Paul Hudak
    A Semantic Model of Reference Counting and its Abstraction (Detailed Summary). [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1986, pp:351-363 [Conf]
  27. Paul Hudak, Benjamin Goldberg
    Experiments in Diffused Combinator Reduction. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1984, pp:167-176 [Conf]
  28. Paul Hudak, Eric Mohr
    Graphinators and the Duality of SIMD and MIMD. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1988, pp:224-234 [Conf]
  29. Juan C. Guzmán, Paul Hudak
    Single-Threaded Polymorphic Lambda Calculus [Citation Graph (0, 0)][DBLP]
    LICS, 1990, pp:333-343 [Conf]
  30. Adrienne Bloss, Paul Hudak
    Path Semantics. [Citation Graph (0, 0)][DBLP]
    MFPS, 1987, pp:476-489 [Conf]
  31. Paul Hudak
    An Algebraic Theory of Polymorphic Temporal Media. [Citation Graph (0, 0)][DBLP]
    PADL, 2004, pp:1-15 [Conf]
  32. John Peterson, Paul Hudak, Conal Elliott
    Lambda in Motion: Controlling Robots with Haskell. [Citation Graph (0, 0)][DBLP]
    PADL, 1999, pp:91-105 [Conf]
  33. Henrik Nilsson, John Peterson, Paul Hudak
    Functional Hybrid Modeling. [Citation Graph (0, 0)][DBLP]
    PADL, 2003, pp:376-390 [Conf]
  34. John Peterson, Paul Hudak, Alastair Reid, Gregory D. Hager
    FVision: A Declarative Language for Visual Tracking. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:304-321 [Conf]
  35. Zhanyong Wan, Walid Taha, Paul Hudak
    Event-Driven FRP. [Citation Graph (0, 0)][DBLP]
    PADL, 2002, pp:155-172 [Conf]
  36. Liwen Huang, Paul Hudak, John Peterson
    HPorter: Using Arrows to Compose Parallel Processes. [Citation Graph (0, 0)][DBLP]
    PADL, 2007, pp:275-289 [Conf]
  37. Mark Tullsen, Paul Hudak
    Shifting Expression Procedures into Reverse. [Citation Graph (0, 0)][DBLP]
    PEPM, 1999, pp:95-104 [Conf]
  38. Steven Anderson, Paul Hudak
    Compilation of Haskell Array Comprehensions for Scientific Computing. [Citation Graph (0, 0)][DBLP]
    PLDI, 1990, pp:137-149 [Conf]
  39. Amir Kishon, Paul Hudak, Charles Consel
    Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors. [Citation Graph (0, 0)][DBLP]
    PLDI, 1991, pp:338-352 [Conf]
  40. David A. Kranz, Richard Kelsey, Jonathan Rees, Paul Hudak, James Philbin, Norman Adams
    Orbit: an optimizing compiler for scheme (with retrospective) [Citation Graph (0, 0)][DBLP]
    Best of PLDI, 1986, pp:175-191 [Conf]
  41. Zhanyong Wan, Paul Hudak
    Functional reactive programming from first principles. [Citation Graph (0, 0)][DBLP]
    PLDI, 2000, pp:242-252 [Conf]
  42. Kai Li, Paul Hudak
    Memory Coherence in Shared Virtual Memory Systems. [Citation Graph (0, 0)][DBLP]
    PODC, 1986, pp:229-239 [Conf]
  43. Paul Hudak
    Distributed Task and Memory Management. [Citation Graph (0, 0)][DBLP]
    PODC, 1983, pp:277-289 [Conf]
  44. Chih-Ping Chen, Paul Hudak
    Rolling Your Own MADT - A Connection Between Linear Types and Monads. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:54-66 [Conf]
  45. Paul Hudak, Adrienne Bloss
    The Aggregate Update Problem in Functional Programming Systems. [Citation Graph (0, 0)][DBLP]
    POPL, 1985, pp:300-314 [Conf]
  46. Paul Hudak, David A. Kranz
    A Combinator-Based Compiler for a Functional Language. [Citation Graph (0, 0)][DBLP]
    POPL, 1984, pp:122-132 [Conf]
  47. Paul Hudak, Lauren Smith
    Para-Functional Programming: A Paradigm for Programming Multiprocessor Systems. [Citation Graph (0, 0)][DBLP]
    POPL, 1986, pp:243-254 [Conf]
  48. Paul Hudak, Jonathan Young
    Higher-Order Strictness Analysis in Untyped Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    POPL, 1986, pp:97-109 [Conf]
  49. Paul Hudak, Jonathan Young
    A Collecting Interpretation of Expressions (Without Powerdomains). [Citation Graph (0, 0)][DBLP]
    POPL, 1988, pp:107-118 [Conf]
  50. Richard Kelsey, Paul Hudak
    Realistic Compilation by Program Transformation. [Citation Graph (0, 0)][DBLP]
    POPL, 1989, pp:281-292 [Conf]
  51. Sheng Liang, Paul Hudak, Mark P. Jones
    Monad Transformers and Modular Interpreters. [Citation Graph (0, 0)][DBLP]
    POPL, 1995, pp:333-343 [Conf]
  52. Martin Odersky, Dan Rabin, Paul Hudak
    Call by Name, Assignment, and the Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:43-56 [Conf]
  53. R. S. Sundaresh, Paul Hudak
    Incremental Compilation via Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    POPL, 1991, pp:1-13 [Conf]
  54. Paul Hudak
    Reflections on Program Optimization. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:193- [Conf]
  55. David A. Kranz, Richard Kelsey, Jonathan Rees, Paul Hudak, James Philbin
    ORBIT: an optimizing compiler for scheme. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Symposium on Compiler Construction, 1986, pp:219-233 [Conf]
  56. Adrienne Bloss, Paul Hudak, Jonathan Young
    An Optimising Compiler for a Modern Functional Language. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1989, v:32, n:2, pp:152-161 [Journal]
  57. Paul Hudak
    Building Domain-Specific Embedded Languages. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:196- [Journal]
  58. Paul Hudak, Greg Morrisett
    Editorial. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2004, v:14, n:4, pp:- [Journal]
  59. Paul Hudak, Tom Makucevich, Syam Gadde, Bo Whong
    Haskore Music Notation - An Algebra of Music. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1996, v:6, n:3, pp:465-483 [Journal]
  60. Amir Kishon, Paul Hudak
    Semantics Directed Program Execution Monitoring. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1995, v:5, n:4, pp:501-547 [Journal]
  61. Adrienne Bloss, Paul Hudak, Jonathan Young
    Code Optimizations for Lazy Evaluation. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1988, v:1, n:2, pp:147-164 [Journal]
  62. Joseph H. Fasel, Paul Hudak, Simon L. Peyton Jones, Philip Wadler
    SIGPLAN Notices Special Issue on the Functional Programming Language Haskell. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1992, v:27, n:5, pp:1- [Journal]
  63. Paul Hudak, Joseph H. Fasel
    A Gentle Introduction to Haskell. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1992, v:27, n:5, pp:0-0 [Journal]
  64. Kai Li, Paul Hudak
    A New List Compaction Method. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1986, v:16, n:2, pp:145-163 [Journal]
  65. Paul Hudak, Benjamin Goldberg
    Distributed Execution of Functional Programs Using Serial Combinators. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1985, v:34, n:10, pp:881-891 [Journal]
  66. Paul Hudak, Jonathan Young
    Collecting Interpretations of Expressions. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1991, v:13, n:2, pp:269-290 [Journal]
  67. Rajiv Mirani, Paul Hudak
    First-class monadic schedules. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2004, v:26, n:4, pp:609-651 [Journal]
  68. Paul Hudak, John Hughes, Simon L. Peyton Jones, Philip Wadler
    A history of Haskell: being lazy with class. [Citation Graph (0, 0)][DBLP]
    HOPL, 2007, pp:1-55 [Conf]

  69. Nettle: A Language for Configuring Routing Networks. [Citation Graph (, )][DBLP]


  70. Causal commutative arrows and their optimization. [Citation Graph (, )][DBLP]


  71. An Ode to Arrows. [Citation Graph (, )][DBLP]


  72. Compress-and-conquer for optimal multicore computing. [Citation Graph (, )][DBLP]


  73. Plugging a Space Leak with an Arrow. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.009secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002