| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Daniel Winograd-Cort, Hai Liu, Paul Hudak |
Virtualizing Real-World Objects in FRP.  |
PADL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai Liu, Eric Cheng, Paul Hudak |
Causal commutative arrows. |
J. Funct. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Voellmy, Paul Hudak |
Nettle: Taking the Sting Out of Programming Network Routers. |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai Liu, Paul Hudak |
An Ode to Arrows. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhijing G. Mou, Hai Liu, Paul Hudak |
Compress-and-conquer for optimal multicore computing. |
DAMP |
2010 |
DBLP DOI BibTeX RDF |
compress and conquer, parallel computing, functional programming, scan, divide and conquer, programming paradigm, multicore programming |
| 1 | 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 |
ICFP |
2010 |
DBLP BibTeX RDF |
|
| 1 | Hai Liu, Eric Cheng, Paul Hudak |
Causal commutative arrows and their optimization. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
functional programming, stream processing, program optimization, functional reactive programming, arrows, dataflow language |
| 1 | Andreas Voellmy, Paul Hudak |
Nettle: A Language for Configuring Routing Networks. |
DSL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Hudak, David Scott Warren (eds.) |
Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. |
PADL |
2008 |
DBLP BibTeX RDF |
|
| 1 | Hai Liu, Paul Hudak |
Plugging a Space Leak with an Arrow. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Liwen Huang, Paul Hudak, John Peterson |
HPorter: Using Arrows to Compose Parallel Processes. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Nilsson, John Peterson, Paul Hudak |
Functional Hybrid Modeling from an Object-Oriented Perspective. |
EOOLT |
2007 |
DBLP BibTeX RDF |
|
| 1 | Paul Hudak, John Hughes, Simon L. Peyton Jones, Philip Wadler |
A history of Haskell: being lazy with class. |
HOPL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajiv Mirani, Paul Hudak |
First-class monadic schedules. |
ACM Trans. Program. Lang. Syst. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Hudak, Greg Morrisett |
Editorial. |
J. Funct. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Hudak |
An Algebraic Theory of Polymorphic Temporal Media. |
PADL |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Nilsson, John Peterson, Paul Hudak |
Functional Hybrid Modeling. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhanyong Wan, Walid Taha, Paul Hudak |
Event-Driven FRP. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Hudak, Antony Courtney, Henrik Nilsson, John Peterson |
Arrows, Robots, and Functional Reactive Programming. |
Advanced Functional Programming |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Walid Taha, Paul Hudak, Zhanyong Wan |
Directions in Functional Programming for Real(-Time) Applications. |
EMSOFT |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | John Peterson, Paul Hudak, Alastair Reid, Gregory D. Hager |
FVision: A Declarative Language for Visual Tracking. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhanyong Wan, Walid Taha, Paul Hudak |
Real-Time FRP. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhanyong Wan, Paul Hudak |
Functional reactive programming from first principles. |
PLDI |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | John Peterson, Paul Hudak, Conal Elliott |
Lambda in Motion: Controlling Robots with Haskell. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Tullsen, Paul Hudak |
Shifting Expression Procedures into Reverse. |
PEPM |
1999 |
DBLP BibTeX RDF |
|
| 1 | John Peterson, Gregory D. Hager, Paul Hudak |
A Language for Declarative Robotic Programming. |
ICRA |
1999 |
DBLP BibTeX RDF |
|
| 1 | Alastair Reid, John Peterson, Gregory D. Hager, Paul Hudak |
Prototyping Real-Time Vision Systems: An Experiment in DSL Design. |
ICSE |
1999 |
DBLP BibTeX RDF |
computer vision, modularity, functional programming, domain-specific languages, Haskell, Haskell, code reuse |
| 1 | Paul Hudak |
Functional Reactive Programming (Abstract). |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
ICFP |
1998 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Shaumyan, Paul Hudak |
Linguistic, Philosophical, and Pragmatic Aspects of Type-Directed Natural Language. |
LACL |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Chih-Ping Chen, Paul Hudak |
Rolling Your Own MADT - A Connection Between Linear Types and Monads. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Conal Elliott, Paul Hudak |
Functional Reactive Animation. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Hudak |
Keynote Address - The Promise of Domain-Specific Languages. |
DSL |
1997 |
DBLP BibTeX RDF |
|
| 1 | Paul Hudak |
Building Domain-Specific Embedded Languages. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Hudak, Tom Makucevich, Syam Gadde, Bo Whong |
Haskore Music Notation - An Algebra of Music. |
J. Funct. Program. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Hudak |
Haskore Music Tutorial. |
Advanced Functional Programming |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheng Liang, Paul Hudak |
Modular Denotational Semantics for Compiler Construction. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Kishon, Paul Hudak |
Semantics Directed Program Execution Monitoring. |
J. Funct. Program. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark P. Jones, Paul Hudak, Sebastian Shaumyan |
Using Types to Parse Natural Language. |
Functional Programming |
1995 |
DBLP BibTeX RDF |
|
| 1 | Sheng Liang, Paul Hudak, Mark P. Jones |
Monad Transformers and Modular Interpreters. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajiv Mirani, Paul Hudak |
First-Class Schedules and Virtual Maps. |
FPCA |
1995 |
DBLP BibTeX RDF |
|
| 1 | Martin Odersky, Dan Rabin, Paul Hudak |
Call by Name, Assignment, and the Lambda Calculus. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Hudak |
Reflections on Program Optimization. |
WSA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph H. Fasel, Paul Hudak, Simon L. Peyton Jones, Philip Wadler |
SIGPLAN Notices Special Issue on the Functional Programming Language Haskell. |
SIGPLAN Notices |
1992 |
DBLP BibTeX RDF |
|
| 1 | 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 |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Hudak, Joseph H. Fasel |
A Gentle Introduction to Haskell. |
SIGPLAN Notices |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Kung Chen, Paul Hudak, Martin Odersky |
Parametric Type Classes. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Hudak, Jonathan Young |
Collecting Interpretations of Expressions. |
ACM Trans. Program. Lang. Syst. |
1991 |
DBLP DOI BibTeX RDF |
theory |
| 1 | Amir Kishon, Paul Hudak, Charles Consel |
Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors. |
PLDI |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | R. S. Sundaresh, Paul Hudak |
Incremental Compilation via Partial Evaluation. |
POPL |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Anderson, Paul Hudak |
Compilation of Haskell Array Comprehensions for Scientific Computing. |
PLDI |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan C. Guzmán, Paul Hudak |
Single-Threaded Polymorphic Lambda Calculus |
LICS |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Li, Paul Hudak |
Memory Coherence in Shared Virtual Memory Systems. |
ACM Trans. Comput. Syst. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrienne Bloss, Paul Hudak, Jonathan Young |
An Optimising Compiler for a Modern Functional Language. |
Comput. J. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Hudak |
Conception, Evolution, and Application of Functional Programming Languages. |
ACM Comput. Surv. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Kelsey, Paul Hudak |
Realistic Compilation by Program Transformation. |
POPL |
1989 |
DBLP DOI BibTeX RDF |
T |
| 1 | Paul Hudak |
Exploring Parafunctional Programming: Separating the What from the How. |
IEEE Software |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhijing G. Mou, Paul Hudak |
An algebraic model for divide-and-conquer and its parallelism. |
The Journal of Supercomputing |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrienne Bloss, Paul Hudak, Jonathan Young |
Code Optimizations for Lazy Evaluation. |
Lisp and Symbolic Computation |
1988 |
DBLP BibTeX RDF |
|
| 1 | Paul Hudak, Jonathan Young |
A Collecting Interpretation of Expressions (Without Powerdomains). |
POPL |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Hudak, Eric Mohr |
Graphinators and the Duality of SIMD and MIMD. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrienne Bloss, Paul Hudak |
Path Semantics. |
MFPS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Hudak, Steven Anderson |
Pomset interpretations of parallel functional programs. |
FPCA |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Hudak |
Para-Functional Languages for Parallel and Distributed Computing. |
COMPCON |
1987 |
DBLP BibTeX RDF |
|
| 1 | Paul Hudak |
Denotational semantics of a para-functional programming language. |
International Journal of Parallel Programming |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Li, Paul Hudak |
A New List Compaction Method. |
Softw., Pract. Exper. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Kranz, Richard Kelsey, Jonathan Rees, Paul Hudak, James Philbin |
ORBIT: an optimizing compiler for scheme. |
SIGPLAN Symposium on Compiler Construction |
1986 |
DBLP DOI BibTeX RDF |
SCHEME |
| 1 | Paul Hudak, Jonathan Young |
Higher-Order Strictness Analysis in Untyped Lambda Calculus. |
POPL |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Hudak, Lauren Smith |
Para-Functional Programming: A Paradigm for Programming Multiprocessor Systems. |
POPL |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrienne Bloss, Paul Hudak |
Variations on Strictness Analysis. |
LISP and Functional Programming |
1986 |
DBLP BibTeX RDF |
|
| 1 | Paul Hudak |
A Semantic Model of Reference Counting and its Abstraction (Detailed Summary). |
LISP and Functional Programming |
1986 |
DBLP BibTeX RDF |
|
| 1 | Paul Hudak |
Arrays, non-determinism, side-effects, and parallelism: A functional perspective. |
Graph Reduction |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Goldberg, Paul Hudak |
Alfalfa: Distributed graph reduction on a hypercube multiprocessor. |
Graph Reduction |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Li, Paul Hudak |
Memory Coherence in Shared Virtual Memory Systems. |
PODC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Hudak, Benjamin Goldberg |
Distributed Execution of Functional Programs Using Serial Combinators. |
IEEE Trans. Computers |
1985 |
DBLP BibTeX RDF |
|
| 1 | Paul Hudak, Adrienne Bloss |
The Aggregate Update Problem in Functional Programming Systems. |
POPL |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Hudak, Benjamin Goldberg |
Efficient Distributed Evaluation of Functional Programs Using Serial Combinators. |
ICPP |
1985 |
DBLP BibTeX RDF |
|
| 1 | Paul Hudak, Benjamin Goldberg |
Serial Combinators: ``Optimal'' Grains of Parallelism. |
FPCA |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Hudak, David A. Kranz |
A Combinator-Based Compiler for a Functional Language. |
POPL |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Hudak, Benjamin Goldberg |
Experiments in Diffused Combinator Reduction. |
LISP and Functional Programming |
1984 |
DBLP BibTeX RDF |
|
| 1 | Paul Hudak |
Distributed Task and Memory Management. |
PODC |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Hudak, Robert M. Keller |
Garbage Collection and Task Deletion in Distributed Applicative Processing Systems. |
Symposium on LISP and Functional Programming |
1982 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")