Paul Hudak

	2012
83		Daniel Winograd-Cort, Hai Liu, Paul Hudak: Virtualizing Real-World Objects in FRP. PADL 2012: 227-241
	2011
82		Andreas Voellmy, Paul Hudak: Nettle: Taking the Sting Out of Programming Network Routers. PADL 2011: 235-249
81		Hai Liu, Eric Cheng, Paul Hudak: Causal commutative arrows. J. Funct. Program. 21(4-5): 467-496 (2011)
	2010
80		Paul Hudak, Stephanie Weirich: Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010 ACM 2010
79		Zhijing G. Mou, Hai Liu, Paul Hudak: Compress-and-conquer for optimal multicore computing. DAMP 2010: 35-44
78		Hai Liu, Paul Hudak: An Ode to Arrows. PADL 2010: 152-166
	2009
77		Andreas Voellmy, Paul Hudak: Nettle: A Language for Configuring Routing Networks. DSL 2009: 211-235
76		Hai Liu, Eric Cheng, Paul Hudak: Causal commutative arrows and their optimization. ICFP 2009: 35-46
	2008
75		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
74		Henrik Nilsson, John Peterson, Paul Hudak: Functional Hybrid Modeling from an Object-Oriented Perspective. EOOLT 2007: 71-87
73		Paul Hudak, John Hughes, Simon L. Peyton Jones, Philip Wadler: A history of Haskell: being lazy with class. HOPL 2007: 1-55
72		Liwen Huang, Paul Hudak, John Peterson: HPorter: Using Arrows to Compose Parallel Processes. PADL 2007: 275-289
71		Hai Liu, Paul Hudak: Plugging a Space Leak with an Arrow. Electr. Notes Theor. Comput. Sci. 193: 29-45 (2007)
	2004
70		Paul Hudak: An Algebraic Theory of Polymorphic Temporal Media. PADL 2004: 1-15
69		Rajiv Mirani, Paul Hudak: First-class monadic schedules. ACM Trans. Program. Lang. Syst. 26(4): 609-651 (2004)
68		Paul Hudak, Greg Morrisett: Editorial. J. Funct. Program. 14(4): (2004)
	2003
67		Henrik Nilsson, John Peterson, Paul Hudak: Functional Hybrid Modeling. PADL 2003: 376-390
	2002
66		Paul Hudak, Antony Courtney, Henrik Nilsson, John Peterson: Arrows, Robots, and Functional Reactive Programming. Advanced Functional Programming 2002: 159-187
65		Zhanyong Wan, Walid Taha, Paul Hudak: Event-Driven FRP. PADL 2002: 155-172
	2001
64		Walid Taha, Paul Hudak, Zhanyong Wan: Directions in Functional Programming for Real(-Time) Applications. EMSOFT 2001: 185-203
63		Zhanyong Wan, Walid Taha, Paul Hudak: Real-Time FRP. ICFP 2001: 146-156
62		John Peterson, Paul Hudak, Alastair Reid, Gregory D. Hager: FVision: A Declarative Language for Visual Tracking. PADL 2001: 304-321
	2000
61		Zhanyong Wan, Paul Hudak: Functional reactive programming from first principles. PLDI 2000: 242-252
	1999
60		Paul Hudak: Functional Reactive Programming (Abstract). ESOP 1999: 1
59		John Peterson, Gregory D. Hager, Paul Hudak: A Language for Declarative Robotic Programming. ICRA 1999: 1144-1151
58		Alastair Reid, John Peterson, Gregory D. Hager, Paul Hudak: Prototyping Real-Time Vision Systems: An Experiment in DSL Design. ICSE 1999: 484-493
57		John Peterson, Paul Hudak, Conal Elliott: Lambda in Motion: Controlling Robots with Haskell. PADL 1999: 91-105
56		Mark Tullsen, Paul Hudak: Shifting Expression Procedures into Reverse. PEPM 1999: 95-104
	1998
55		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
	1997
54		Paul Hudak: Keynote Address - The Promise of Domain-Specific Languages. DSL 1997
53		Conal Elliott, Paul Hudak: Functional Reactive Animation. ICFP 1997: 263-273
52		Sebastian Shaumyan, Paul Hudak: Linguistic, Philosophical, and Pragmatic Aspects of Type-Directed Natural Language. LACL 1997: 70-91
51		Chih-Ping Chen, Paul Hudak: Rolling Your Own MADT - A Connection Between Linear Types and Monads. POPL 1997: 54-66
	1996
50		Paul Hudak: Haskore Music Tutorial. Advanced Functional Programming 1996: 38-67
49		Sheng Liang, Paul Hudak: Modular Denotational Semantics for Compiler Construction. ESOP 1996: 219-234
48		Paul Hudak: Building Domain-Specific Embedded Languages. ACM Comput. Surv. 28(4es): 196 (1996)
47		Paul Hudak, Tom Makucevich, Syam Gadde, Bo Whong: Haskore Music Notation - An Algebra of Music. J. Funct. Program. 6(3): 465-483 (1996)
	1995
46		Rajiv Mirani, Paul Hudak: First-Class Schedules and Virtual Maps. FPCA 1995: 78-85
45		Mark P. Jones, Paul Hudak, Sebastian Shaumyan: Using Types to Parse Natural Language. Functional Programming 1995: 7
44		Sheng Liang, Paul Hudak, Mark P. Jones: Monad Transformers and Modular Interpreters. POPL 1995: 333-343
43		Amir Kishon, Paul Hudak: Semantics Directed Program Execution Monitoring. J. Funct. Program. 5(4): 501-547 (1995)
	1993
42		Martin Odersky, Dan Rabin, Paul Hudak: Call by Name, Assignment, and the Lambda Calculus. POPL 1993: 43-56
41		Paul Hudak: Reflections on Program Optimization. WSA 1993: 193
	1992
40		Kung Chen, Paul Hudak, Martin Odersky: Parametric Type Classes. LISP and Functional Programming 1992: 170-181
39		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)
38		Paul Hudak, Joseph H. Fasel: A Gentle Introduction to Haskell. SIGPLAN Notices 27(5): 1- (1992)
37		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)
	1991
36		Amir Kishon, Paul Hudak, Charles Consel: Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors. PLDI 1991: 338-352
35		R. S. Sundaresh, Paul Hudak: Incremental Compilation via Partial Evaluation. POPL 1991: 1-13
34		Paul Hudak, Jonathan Young: Collecting Interpretations of Expressions. ACM Trans. Program. Lang. Syst. 13(2): 269-290 (1991)
	1990
33		Juan C. Guzmán, Paul Hudak: Single-Threaded Polymorphic Lambda Calculus LICS 1990: 333-343
32		Steven Anderson, Paul Hudak: Compilation of Haskell Array Comprehensions for Scientific Computing. PLDI 1990: 137-149
	1989
31		Richard Kelsey, Paul Hudak: Realistic Compilation by Program Transformation. POPL 1989: 281-292
30		Paul Hudak: Conception, Evolution, and Application of Functional Programming Languages. ACM Comput. Surv. 21(3): 359-411 (1989)
29		Kai Li, Paul Hudak: Memory Coherence in Shared Virtual Memory Systems. ACM Trans. Comput. Syst. 7(4): 321-359 (1989)
28		Adrienne Bloss, Paul Hudak, Jonathan Young: An Optimising Compiler for a Modern Functional Language. Comput. J. 32(2): 152-161 (1989)
	1988
27		Paul Hudak, Eric Mohr: Graphinators and the Duality of SIMD and MIMD. LISP and Functional Programming 1988: 224-234
26		Paul Hudak, Jonathan Young: A Collecting Interpretation of Expressions (Without Powerdomains). POPL 1988: 107-118
25		Paul Hudak: Exploring Parafunctional Programming: Separating the What from the How. IEEE Software 5(1): 54-61 (1988)
24		Adrienne Bloss, Paul Hudak, Jonathan Young: Code Optimizations for Lazy Evaluation. Lisp and Symbolic Computation 1(2): 147-164 (1988)
23		Zhijing G. Mou, Paul Hudak: An algebraic model for divide-and-conquer and its parallelism. The Journal of Supercomputing 2(3): 257-278 (1988)
	1987
22		Paul Hudak: Para-Functional Languages for Parallel and Distributed Computing. COMPCON 1987: 334-337
21		Paul Hudak, Steven Anderson: Pomset interpretations of parallel functional programs. FPCA 1987: 234-256
20		Adrienne Bloss, Paul Hudak: Path Semantics. MFPS 1987: 476-489
	1986
19		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
18		Paul Hudak: Arrays, non-determinism, side-effects, and parallelism: A functional perspective. Graph Reduction 1986: 312-327
17		Benjamin Goldberg, Paul Hudak: Alfalfa: Distributed graph reduction on a hypercube multiprocessor. Graph Reduction 1986: 94-113
16		Adrienne Bloss, Paul Hudak: Variations on Strictness Analysis. LISP and Functional Programming 1986: 132-142
15		Paul Hudak: A Semantic Model of Reference Counting and its Abstraction (Detailed Summary). LISP and Functional Programming 1986: 351-363
14		Kai Li, Paul Hudak: Memory Coherence in Shared Virtual Memory Systems. PODC 1986: 229-239
13		Paul Hudak, Lauren Smith: Para-Functional Programming: A Paradigm for Programming Multiprocessor Systems. POPL 1986: 243-254
12		Paul Hudak, Jonathan Young: Higher-Order Strictness Analysis in Untyped Lambda Calculus. POPL 1986: 97-109
11		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
10		Paul Hudak: Denotational semantics of a para-functional programming language. International Journal of Parallel Programming 15(2): 103-125 (1986)
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

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

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page