Paul Hudak

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

Collaborative distances :
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Awards

ACM Fellow

ACM Fellow 2003, "For contributions to functional programming languages.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2015
Media Modules: Intermedia Systems in a Pure Functional Paradigm.
Proceedings of the Looking Back, 2015

Real-time interactive music in Haskell.
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.
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

Tiled polymorphic temporal media.
Proceedings of the 2nd ACM SIGPLAN international workshop on Functional art, 2014

2013
Maple: simplifying SDN programming using algorithmic policies.
Proceedings of the ACM SIGCOMM 2013 Conference, 2013

A Temporal Generative Graph Grammar for harmonic and Metrical Structure.
Proceedings of the 39th International Computer Music Conference, 2013

Grammar-based automated music composition in Haskell.
Proceedings of the first ACM SIGPLAN workshop on Functional art, music, modeling & design, 2013

Mio: a high-performance multicore io manager for GHC.
Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, 2013

2012
Virtualizing Real-World Objects in FRP.
Proceedings of the Practical Aspects of Declarative Languages, 2012

Computing with Chord Spaces.
Proceedings of the Non-Cochlear Sound: Proceedings of the 38th International Computer Music Conference, 2012

Wormholes: introducing effects to FRP.
Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, 2012

2011
Causal commutative arrows.
J. Funct. Program., 2011

Nettle: Taking the Sting Out of Programming Network Routers.
Proceedings of the Practical Aspects of Declarative Languages, 2011

2010
Compress-and-conquer for optimal multicore computing.
Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, 2010

An Ode to Arrows.
Proceedings of the Practical Aspects of Declarative Languages, 2010

2009
Causal commutative arrows and their optimization.
Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

Nettle: A Language for Configuring Routing Networks.
Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009

2007
Plugging a Space Leak with an Arrow.
Electr. Notes Theor. Comput. Sci., 2007

HPorter: Using Arrows to Compose Parallel Processes.
Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

A history of Haskell: being lazy with class.
Proceedings of the Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III), 2007

Functional Hybrid Modeling from an Object-Oriented Perspective.
Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools, 2007

2004
First-class monadic schedules.
ACM Trans. Program. Lang. Syst., 2004

Editorial.
J. Funct. Program., 2004

An Algebraic Theory of Polymorphic Temporal Media.
Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

2003
Functional Hybrid Modeling.
Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003

2002
Event-Driven FRP.
Proceedings of the Practical Aspects of Declarative Languages, 4th International Symposium, 2002

Arrows, Robots, and Functional Reactive Programming.
Proceedings of the Advanced Functional Programming, 2002

2001
FVision: A Declarative Language for Visual Tracking.
Proceedings of the Practical Aspects of Declarative Languages, 2001

Real-Time FRP.
Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001

Directions in Functional Programming for Real(-Time) Applications.
Proceedings of the Embedded Software, First International Workshop, 2001

2000
Principles of functional reactive programming.
ACM SIGSOFT Software Engineering Notes, 2000

Functional reactive programming from first principles.
Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2000

1999
Shifting Expression Procedures into Reverse.
Proceedings of the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, 1999

Lambda in Motion: Controlling Robots with Haskell.
Proceedings of the Practical Aspects of Declarative Languages, 1999

Prototyping Real-Time Vision Systems: An Experiment in DSL Design.
Proceedings of the 1999 International Conference on Software Engineering, 1999

A Language for Declarative Robotic Programming.
Proceedings of the 1999 IEEE International Conference on Robotics and Automation, 1999

Functional Reactive Programming (Abstract).
Proceedings of the Programming Languages and Systems, 1999

1998
Modular domain specific languages and tools.
Proceedings of the Fifth International Conference on Software Reuse, 1998

1997
Rolling Your Own MADT - A Connection Between Linear Types and Monads.
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.
Proceedings of the Logical Aspects of Computational Linguistics, 1997

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

Keynote Address - The Promise of Domain-Specific Languages.
Proceedings of the Conference on Domain-Specific Languages, 1997

1996
Haskore Music Notation - An Algebra of Music.
J. Funct. Program., 1996

Building Domain-Specific Embedded Languages.
ACM Comput. Surv., 1996

Modular Denotational Semantics for Compiler Construction.
Proceedings of the Programming Languages and Systems, 1996

Haskore Music Tutorial.
Proceedings of the Advanced Functional Programming, 1996

1995
Semantics Directed Program Execution Monitoring.
J. Funct. Program., 1995

Monad Transformers and Modular Interpreters.
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.
Proceedings of the 1995 International Computer Music Conference, 1995

First-Class Schedules and Virtual Maps.
Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995

Using Types to Parse Natural Language.
Proceedings of the Functional Programming, Glasgow, UK, 1995, 1995

1993
Reflections on Program Optimization.
Proceedings of the Static Analysis, Third International Workshop, 1993

Call by Name, Assignment, and the Lambda Calculus.
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.
SIGPLAN Notices, 1992

A Gentle Introduction to Haskell.
SIGPLAN Notices, 1992

SIGPLAN Notices Special Issue on the Functional Programming Language Haskell.
SIGPLAN Notices, 1992

Parametric Type Classes.
LISP and Functional Programming, 1992

1991
Collecting Interpretations of Expressions.
ACM Trans. Program. Lang. Syst., 1991

Incremental Compilation via Partial Evaluation.
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.
Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation (PLDI), 1991

1990
Compilation of Haskell Array Comprehensions for Scientific Computing.
Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation (PLDI), 1990

Single-Threaded Polymorphic Lambda Calculus
Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

1989
Memory Coherence in Shared Virtual Memory Systems.
ACM Trans. Comput. Syst., 1989

Conception, Evolution, and Application of Functional Programming Languages.
ACM Comput. Surv., 1989

An Optimising Compiler for a Modern Functional Language.
Comput. J., 1989

Realistic Compilation by Program Transformation.
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.
The Journal of Supercomputing, 1988

Exploring Parafunctional Programming: Separating the What from the How.
IEEE Software, 1988

Code Optimizations for Lazy Evaluation.
Lisp and Symbolic Computation, 1988

A Collecting Interpretation of Expressions (Without Powerdomains).
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.
LISP and Functional Programming, 1988

1987
Path Semantics.
Proceedings of the Mathematical Foundations of Programming Language Semantics, 1987

Pomset interpretations of parallel functional programs.
Proceedings of the Functional Programming Languages and Computer Architecture, 1987

Para-Functional Languages for Parallel and Distributed Computing.
Proceedings of the COMPCON'87, 1987

1986
A New List Compaction Method.
Softw., Pract. Exper., 1986

Denotational semantics of a para-functional programming language.
International Journal of Parallel Programming, 1986

Para-Functional Programming.
IEEE Computer, 1986

ORBIT: an optimizing compiler for scheme.
Proceedings of the 1986 SIGPLAN Symposium on Compiler Construction, 1986

Higher-Order Strictness Analysis in Untyped Lambda Calculus.
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.
Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

Memory Coherence in Shared Virtual Memory Systems.
Proceedings of the Fifth Annual ACM Symposium on Principles of Distributed Computing, 1986

Orbit: an optimizing compiler for scheme (with retrospective)
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).
LISP and Functional Programming, 1986

Variations on Strictness Analysis.
LISP and Functional Programming, 1986

Arrays, non-determinism, side-effects, and parallelism: A functional perspective.
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.
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.
IEEE Trans. Computers, 1985

The Aggregate Update Problem in Functional Programming Systems.
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.
Proceedings of the International Conference on Parallel Processing, 1985

Serial Combinators: "Optimal" Grains of Parallelism.
Proceedings of the Functional Programming Languages and Computer Architecture, 1985

1984
A Combinator-Based Compiler for a Functional Language.
Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984

Experiments in Diffused Combinator Reduction.
LISP and Functional Programming, 1984

1983
Distributed Task and Memory Management.
Proceedings of the Second Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1983

1982
Garbage Collection and Task Deletion in Distributed Applicative Processing Systems.
Symposium on LISP and Functional Programming, 1982


  Loading...