dblp.uni-trier.dewww.uni-trier.de

Paul Hudak Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

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

1Norman Adams [18]
2Steven Anderson [20] [29]
3Adrienne Bloss [6] [15] [19] [22] [25]
4Brian Boutel [35]
5Chih-Ping Chen [48]
6Kung Chen [37]
7Eric Cheng [71]
8Charles Consel [33]
9Antony Courtney [62]
10Conal Elliott (Conal M. Elliott) [50] [53]
11Jon Fairbairn [35]
12Joseph H. Fasel [34] [35] [36]
13Syam Gadde [44]
14Benjamin Goldberg [4] [5] [7] [8] [16]
15Juan C. Guzmán [30]
16María M. Guzmán [35]
17Gregory D. Hager [54] [55] [58]
18Kevin Hammond [35]
19Liwen Huang [68]
20John Hughes [35] [69]
21Thomas Johnsson [35]
22Mark P. Jones [41] [42]
23Simon L. Peyton Jones [35] [36] [69]
24Robert M. Keller [1]
25Richard Kelsey [10] [18] [28]
26Richard B. Kieburtz (Dick Kieburtz) [35]
27Amir Kishon [33] [40]
28David A. Kranz [3] [10] [18]
29Kai Li [9] [13] [26]
30Sheng Liang [41] [46]
31Hai Liu [67] [71]
32Tom Makucevich [44]
33Rajiv Mirani [43] [65]
34Eric Mohr [24]
35J. Gregory Morrisett (Greg Morrisett) [64]
36Rishiyur S. Nikhil [35]
37Henrik Nilsson [62] [63]
38Martin Odersky [37] [39]
39Will Partain [35]
40John Peterson [35] [53] [54] [55] [58] [62] [63] [68]
41James Philbin [10] [18]
42Dan Rabin [39]
43Jonathan Rees [10] [18]
44Alastair David Reid (Alastair D. Reid, Alastair Reid) [54] [58]
45Sebastian Shaumyan [42] [49]
46Lauren Smith [12]
47R. S. Sundaresh [32]
48Walid Taha [59] [60] [61]
49Mark Tullsen [52]
50Andreas Voellmy [72]
51Philip Wadler [35] [36] [69]
52Zhanyong Wan [57] [59] [60] [61]
53David Scott Warren [70]
54Bo Whong [44]
55Jonathan Young [11] [22] [23] [25] [31]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)