Person: Paul Hudak

DBLP: Hudak:Paul

Facilitated 4 volumes:

Ed

Ed

Ed

Ed

Contributed to:

2014

2012

2011

2010

2009

2007

2004

2003

2002

2002

2001

2001

2000

1999

1999

1999

1999

1997

1997

1996

1996

1995

1995

1993

1993

1992

1991

1991

1990

1990

1989

1988

1988

1987

1986

1986

1986

1985

1985

1984

1984

1982

2012

2013

Wrote 46 papers:

ICFP-2014-Winograd-CortH #first-order #how

Settable and non-interfering signal functions for FRP: how a first-order switch is more than enough (DWC, PH), pp. 213–225.

PADL-2012-Winograd-CortLH

Virtualizing Real-World Objects in FRP (DWC, HL, PH), pp. 227–241.

PADL-2011-VoellmyH #named #network #programming

Nettle: Taking the Sting Out of Programming Network Routers (AV, PH), pp. 235–249.

PADL-2010-LiuH

An Ode to Arrows (HL, PH), pp. 152–166.

ICFP-2009-LiuCH #commutative #optimisation

Causal commutative arrows and their optimization (HL, EC, PH), pp. 35–46.

PADL-2007-HuangHP #named #parallel #process #using

HPorter: Using Arrows to Compose Parallel Processes (LH, PH, JP), pp. 275–289.

PADL-2004-Hudak #algebra #polymorphism

An Algebraic Theory of Polymorphic Temporal Media (PH), pp. 1–15.

PADL-2003-NilssonPH #functional #hybrid #modelling

Functional Hybrid Modeling (HN, JP, PH), pp. 376–390.

AFP-2002-HudakCNP02 #functional #programming

Arrows, Robots, and Functional Reactive Programming (PH, AC, HN, JP), pp. 159–187.

PADL-2002-WanTH

Event-Driven FRP (ZW, WT, PH), pp. 155–172.

ICFP-2001-WanTH #realtime

Real-Time FRP (ZW, WT, PH), pp. 146–156.

PADL-2001-PetersonHRH #declarative #named #visual notation

FVision: A Declarative Language for Visual Tracking (JP, PH, AR, GDH), pp. 304–321.

PLDI-2000-WanH #functional #programming

Functional reactive programming from first principles (ZW, PH), pp. 242–252.

ESOP-1999-Hudak #functional #programming

Functional Reactive Programming (PH), p. 1.

ICSE-1999-ReidPHH #design #domain-specific language #empirical #prototype #realtime

Prototyping Real-Time Vision Systems: An Experiment in DSL Design (AR, JP, GDH, PH), pp. 484–493.

PADL-1999-PetersonHE #haskell

λ in Motion: Controlling Robots with Haskell (JP, PH, CE), pp. 91–105.

PEPM-1999-TullsenH

Shifting Expression Procedures into Reverse (MT, PH), pp. 95–104.

ICFP-1997-ElliottH #animation #functional

Functional Reactive Animation (CE, PH), pp. 263–273.

POPL-1997-ChenH #linear #monad

Rolling Your Own MADT — A Connection Between Linear Types and Monads (CPC, PH), pp. 54–66.

AFP-1996-Hudak96 #music #tutorial

Haskore Music Tutorial (PH), pp. 38–67.

ESOP-1996-LiangH #compilation #composition #semantics

Modular Denotational Semantics for Compiler Construction (SL, PH), pp. 219–234.

FPCA-1995-MiraniH

First-Class Schedules and Virtual Maps (RM, PH), pp. 78–85.

POPL-1995-LiangHJ #composition #monad

Monad Transformers and Modular Interpreters (SL, PH, MPJ), pp. 333–343.

POPL-1993-OderskyRH #call-by #λ-calculus

Call by Name, Assignment, and the λ Calculus (MO, DR, PH), pp. 43–56.

WSA-1993-Hudak #optimisation

Reflections on Program Optimization (PH), p. 193.

LFP-1992-ChenHO #parametricity

Parametric Type Classes (KC, PH, MO), pp. 170–181.

PLDI-1991-KishonHC #execution #framework #implementation #monitoring #reasoning #semantics #specification

Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors (AK, PH, CC), pp. 338–352.

POPL-1991-SundareshH #compilation #incremental #partial evaluation

Incremental Compilation via Partial Evaluation (RSS, PH), pp. 1–13.

LICS-1990-GuzmanH #polymorphism #thread #λ-calculus

Single-Threaded Polymorphic λ Calculus (JCG, PH), pp. 333–343.

PLDI-1990-AndersonH #array #compilation #haskell

Compilation of Haskell Array Comprehensions for Scientific Computing (SA, PH), pp. 137–149.

POPL-1989-KelseyH #compilation #program transformation

Realistic Compilation by Program Transformation (RK, PH), pp. 281–292.

LFP-1988-HudakH

Graphinators and the Duality of SIMD and MIMD (PH, EM), pp. 224–234.

POPL-1988-HudakY

A Collecting Interpretation of Expressions (Without Powerdomains) (PH, JY), pp. 107–118.

FPCA-1987-HudakA #functional #parallel #source code

Pomset interpretations of parallel functional programs (PH, SA), pp. 234–256.

Best-of-PLDI-1986-KranzKRHPA #compilation #named #optimisation

Orbit: an optimizing compiler for scheme (with retrospective) (DAK, RK, JR, PH, JP, NA), pp. 175–191.

LFP-1986-BlossH #analysis #strict

Variations on Strictness Analysis (AGB, PH), pp. 132–142.

LFP-1986-Hudak #abstraction #semantics #summary

A Semantic Model of Reference Counting and its Abstraction (Detailed Summary) (PH), pp. 351–363.

POPL-1986-HudakS #multi #paradigm #programming

Para-Functional Programming: A Paradigm for Programming Multiprocessor Systems (PH, LS), pp. 243–254.

POPL-1986-HudakY #analysis #higher-order #strict #λ-calculus

Higher-Order Strictness Analysis in Untyped λ Calculus (PH, JY), pp. 97–109.

FPCA-1985-HudakG85 #combinator #parallel

Serial Combinators: “Optimal” Grains of Parallelism (PH, BG), pp. 382–399.

POPL-1985-HudakB #functional #problem #programming

The Aggregate Update Problem in Functional Programming Systems (PH, AB), pp. 300–314.

LFP-1984-HudakG #combinator #reduction

Experiments in Diffused Combinator Reduction (PH, BG), pp. 167–176.

POPL-1984-HudakK #combinator #compilation #functional

A Combinator-Based Compiler for a Functional Language (PH, DAK), pp. 122–132.

LFP-1982-HudakK #distributed #garbage collection

Garbage Collection and Task Deletion in Distributed Applicative Processing Systems (PH, RMK), pp. 168–178.

Haskell-2012-Winograd-CortH #named

Wormholes: introducing effects to FRP (DWC, PH), pp. 91–104.

Haskell-2013-VoellmyWHY #haskell #manycore #named

Mio: a high-performance multicore io manager for GHC (AV, JW, PH, KY), pp. 129–140.