Paul Hudak

According to our database, Paul Hudak authored at least 94 papers between 1982 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

Media Modules: Intermedia Systems in a Pure Functional Paradigm.

Mark Santolucito, Donya Quick, Paul Hudak

Proceedings of the Looking Back, 2015

Real-time interactive music in Haskell.

Paul Hudak, Donya Quick, Mark Santolucito, Daniel Winograd-Cort

Proceedings of the 3rd ACM SIGPLAN International Workshop on Functional Art, 2015

2014

Settable and non-interfering signal functions for FRP: how a first-order switch is more than enough.

Daniel Winograd-Cort, Paul Hudak

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

Tiled polymorphic temporal media.

Paul Hudak, David Janin

Proceedings of the 2nd ACM SIGPLAN international workshop on Functional art, 2014

2013

Maple: simplifying SDN programming using algorithmic policies.

Andreas Voellmy, Junchang Wang, Yang Richard Yang, Bryan Ford, Paul Hudak

Proceedings of the ACM SIGCOMM 2013 Conference, 2013

A Temporal Generative Graph Grammar for harmonic and Metrical Structure.

Donya Quick, Paul Hudak

Proceedings of the 39th International Computer Music Conference, 2013

Grammar-based automated music composition in Haskell.

Donya Quick, Paul Hudak

Proceedings of the first ACM SIGPLAN workshop on Functional art, music, modeling & design, 2013

Mio: a high-performance multicore io manager for GHC.

Andreas Voellmy, Junchang Wang, Paul Hudak, Kazuhiko Yamamoto

Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, 2013

2012

Virtualizing Real-World Objects in FRP.

Daniel Winograd-Cort, Hai Liu, Paul Hudak

Proceedings of the Practical Aspects of Declarative Languages, 2012

Computing with Chord Spaces.

Donya Quick, Paul Hudak

Proceedings of the Non-Cochlear Sound: Proceedings of the 38th International Computer Music Conference, 2012

Wormholes: introducing effects to FRP.

Daniel Winograd-Cort, Paul Hudak

Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, 2012

2011

Causal commutative arrows.

Hai Liu, Eric Cheng, Paul Hudak

J. Funct. Program., 2011

Nettle: Taking the Sting Out of Programming Network Routers.

Andreas Voellmy, Paul Hudak

Proceedings of the Practical Aspects of Declarative Languages, 2011

2010

Compress-and-conquer for optimal multicore computing.

Zhijing G. Mou, Hai Liu, Paul Hudak

Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, 2010

An Ode to Arrows.

Hai Liu, Paul Hudak

Proceedings of the Practical Aspects of Declarative Languages, 2010

2009

Causal commutative arrows and their optimization.

Hai Liu, Eric Cheng, Paul Hudak

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

Nettle: A Language for Configuring Routing Networks.

Andreas Voellmy, Paul Hudak

Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009

2007

Plugging a Space Leak with an Arrow.

Hai Liu, Paul Hudak

Proceedings of the Festschrift honoring Gary Lindstrom on his retirement from the University of Utah after 30 years of service, 2007

HPorter: Using Arrows to Compose Parallel Processes.

Liwen Huang, Paul Hudak, John Peterson

Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

A history of Haskell: being lazy with class.

Paul Hudak, John Hughes, Simon L. Peyton Jones, Philip Wadler

Proceedings of the Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III), 2007

Functional Hybrid Modeling from an Object-Oriented Perspective.

Henrik Nilsson, John Peterson, Paul Hudak

Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools, 2007

2004

First-class monadic schedules.

Rajiv Mirani, Paul Hudak

ACM Trans. Program. Lang. Syst., 2004

Editorial.

Paul Hudak, Greg Morrisett

J. Funct. Program., 2004

An Algebraic Theory of Polymorphic Temporal Media.

Paul Hudak

Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

2003

Functional Hybrid Modeling.

Henrik Nilsson, John Peterson, Paul Hudak

Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003

2002

Event-Driven FRP.

Zhanyong Wan, Walid Taha, Paul Hudak

Proceedings of the Practical Aspects of Declarative Languages, 4th International Symposium, 2002

Arrows, Robots, and Functional Reactive Programming.

Paul Hudak, Antony Courtney, Henrik Nilsson, John Peterson

Proceedings of the Advanced Functional Programming, 2002

2001

FVision: A Declarative Language for Visual Tracking.

John Peterson, Paul Hudak, Alastair Reid, Gregory D. Hager

Proceedings of the Practical Aspects of Declarative Languages, 2001

Real-Time FRP.

Zhanyong Wan, Walid Taha, Paul Hudak

Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001

Directions in Functional Programming for Real(-Time) Applications.

Walid Taha, Paul Hudak, Zhanyong Wan

Proceedings of the Embedded Software, First International Workshop, 2001

2000

Principles of functional reactive programming.

Paul Hudak

ACM SIGSOFT Softw. Eng. Notes, 2000

Functional reactive programming from first principles.

Zhanyong Wan, Paul Hudak

Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2000

1999

Shifting Expression Procedures into Reverse.

Mark Tullsen, Paul Hudak

Proceedings of the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, 1999

Lambda in Motion: Controlling Robots with Haskell.

John Peterson, Paul Hudak, Conal Elliott

Proceedings of the Practical Aspects of Declarative Languages, 1999

Prototyping Real-Time Vision Systems: An Experiment in DSL Design.

Alastair Reid, John Peterson, Gregory D. Hager, Paul Hudak

Proceedings of the 1999 International Conference on Software Engineering, 1999

A Language for Declarative Robotic Programming.

John Peterson, Gregory D. Hager, Paul Hudak

Proceedings of the 1999 IEEE International Conference on Robotics and Automation, 1999

Functional Reactive Programming (Abstract).

Paul Hudak

Proceedings of the Programming Languages and Systems, 1999

1998

Modular domain specific languages and tools.

Paul Hudak

Proceedings of the Fifth International Conference on Software Reuse, 1998

1997

Rolling Your Own MADT - A Connection Between Linear Types and Monads.

Chih-Ping Chen, Paul Hudak

Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997

Linguistic, Philosophical, and Pragmatic Aspects of Type-Directed Natural Language.

Sebastian Shaumyan, Paul Hudak

Proceedings of the Logical Aspects of Computational Linguistics, 1997

Functional Reactive Animation.

Conal Elliott, Paul Hudak

Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997

Keynote Address - The Promise of Domain-Specific Languages.

Paul Hudak

Proceedings of the Conference on Domain-Specific Languages, 1997

1996

Haskore Music Notation - An Algebra of Music.

Paul Hudak, Tom Makucevich, Syam Gadde, Bo Whong

J. Funct. Program., 1996

Building Domain-Specific Embedded Languages.

Paul Hudak

ACM Comput. Surv., 1996

Modular Denotational Semantics for Compiler Construction.

Sheng Liang, Paul Hudak

Proceedings of the Programming Languages and Systems, 1996

Haskore Music Tutorial.

Paul Hudak

Proceedings of the Advanced Functional Programming, 1996

1995

Semantics Directed Program Execution Monitoring.

Amir Kishon, Paul Hudak

J. Funct. Program., 1995

Monad Transformers and Modular Interpreters.

Sheng Liang, Paul Hudak, Mark P. Jones

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

A Model Performance, Interaction and Improvisation.

Paul Hudak, Jonathan Berger

Proceedings of the 1995 International Computer Music Conference, 1995

First-Class Schedules and Virtual Maps.

Rajiv Mirani, Paul Hudak

Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995

Using Types to Parse Natural Language.

Mark P. Jones, Paul Hudak, Sebastian Shaumyan

Proceedings of the Functional Programming, Glasgow, UK, 1995, 1995

1993

Reflections on Program Optimization.

Paul Hudak

Proceedings of the Static Analysis, Third International Workshop, 1993

Call by Name, Assignment, and the Lambda Calculus.

Martin Odersky, Dan Rabin, Paul Hudak

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

1992

Report on the Programming Language Haskell, A Non-strict, Purely Functional Language.

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

ACM SIGPLAN Notices, 1992

A Gentle Introduction to Haskell.

Paul Hudak, Joseph H. Fasel

ACM SIGPLAN Notices, 1992

SIGPLAN Notices Special Issue on the Functional Programming Language Haskell.

Joseph H. Fasel, Paul Hudak, Simon L. Peyton Jones, Philip Wadler

ACM SIGPLAN Notices, 1992

Parametric Type Classes.

Kung Chen, Paul Hudak, Martin Odersky

Proceedings of the Conference on Lisp and Functional Programming, 1992

1991

Collecting Interpretations of Expressions.

Paul Hudak, Jonathan Young

ACM Trans. Program. Lang. Syst., 1991

Incremental Compilation via Partial Evaluation.

R. S. Sundaresh, Paul Hudak

Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors.

Amir Kishon, Paul Hudak, Charles Consel

Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation (PLDI), 1991

1990

Compilation of Haskell Array Comprehensions for Scientific Computing.

Steven Anderson, Paul Hudak

Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation (PLDI), 1990

Single-Threaded Polymorphic Lambda Calculus

Juan C. Guzmán, Paul Hudak

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

1989

Memory Coherence in Shared Virtual Memory Systems.

Kai Li, Paul Hudak

ACM Trans. Comput. Syst., 1989

Conception, Evolution, and Application of Functional Programming Languages.

Paul Hudak

ACM Comput. Surv., 1989

An Optimising Compiler for a Modern Functional Language.

Adrienne G. Bloss, Paul Hudak, Jonathan Young

Comput. J., 1989

Realistic Compilation by Program Transformation.

Richard Kelsey, Paul Hudak

Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989

1988

An algebraic model for divide-and-conquer and its parallelism.

Zhijing G. Mou, Paul Hudak

J. Supercomput., 1988

Exploring Parafunctional Programming: Separating the What from the How.

Paul Hudak

IEEE Softw., 1988

Code Optimizations for Lazy Evaluation.

Adrienne G. Bloss, Paul Hudak, Jonathan Young

LISP Symb. Comput., 1988

A Collecting Interpretation of Expressions (Without Powerdomains).

Paul Hudak, Jonathan Young

Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988

Graphinators and the Duality of SIMD and MIMD.

Paul Hudak, Eric Mohr

Proceedings of the 1988 ACM Conference on LISP and Functional Programming, 1988

Implementing functional programs on a hypercube multiprocessor.

Benjamin Goldberg, Paul Hudak

Proceedings of the Third Conference on Hypercube Concurrent Computers and Applications, 1988

1987

Path Semantics.

Adrienne G. Bloss, Paul Hudak

Proceedings of the Mathematical Foundations of Programming Language Semantics, 1987

Pomset interpretations of parallel functional programs.

Paul Hudak, Steven Anderson

Proceedings of the Functional Programming Languages and Computer Architecture, 1987

Para-Functional Languages for Parallel and Distributed Computing.

Paul Hudak

Proceedings of the COMPCON'87, 1987

1986

A New List Compaction Method.

Kai Li, Paul Hudak

Softw. Pract. Exp., 1986

Denotational semantics of a para-functional programming language.

Paul Hudak

Int. J. Parallel Program., 1986

Para-Functional Programming.

Paul Hudak

Computer, 1986

ORBIT: an optimizing compiler for scheme.

David A. Kranz, Richard Kelsey, Jonathan Rees, Paul Hudak, James Philbin

Proceedings of the 1986 SIGPLAN Symposium on Compiler Construction, 1986

Higher-Order Strictness Analysis in Untyped Lambda Calculus.

Paul Hudak, Jonathan Young

Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

Para-Functional Programming: A Paradigm for Programming Multiprocessor Systems.

Paul Hudak, Lauren Smith

Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

Orbit: an optimizing compiler for scheme (with retrospective)

David A. Kranz, Richard Kelsey, Jonathan Rees, Paul Hudak, James Philbin, Norman Adams

Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1986

A Semantic Model of Reference Counting and its Abstraction (Detailed Summary).

Paul Hudak

Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986

Variations on Strictness Analysis.

Adrienne G. Bloss, Paul Hudak

Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986

Arrays, non-determinism, side-effects, and parallelism: A functional perspective.

Paul Hudak

Proceedings of the Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29, 1986

Alfalfa: Distributed graph reduction on a hypercube multiprocessor.

Benjamin Goldberg, Paul Hudak

Proceedings of the Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29, 1986

1985

Distributed Execution of Functional Programs Using Serial Combinators.

Paul Hudak, Benjamin Goldberg

IEEE Trans. Computers, 1985

The Aggregate Update Problem in Functional Programming Systems.

Paul Hudak, Adrienne G. Bloss

Proceedings of the Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985

Efficient Distributed Evaluation of Functional Programs Using Serial Combinators.

Paul Hudak, Benjamin Goldberg

Proceedings of the International Conference on Parallel Processing, 1985

Serial Combinators: "Optimal" Grains of Parallelism.

Paul Hudak, Benjamin Goldberg

Proceedings of the Functional Programming Languages and Computer Architecture, 1985

1984

A Combinator-Based Compiler for a Functional Language.

Paul Hudak, David A. Kranz

Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984

Experiments in Diffused Combinator Reduction.

Paul Hudak, Benjamin Goldberg

Proceedings of the 1984 ACM Conference on LISP and Functional Programming, 1984

1983

Distributed Task and Memory Management.

Paul Hudak

Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing, 1983

1982

Garbage Collection and Task Deletion in Distributed Applicative Processing Systems.

Paul Hudak, Robert M. Keller

Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, 1982