BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Spain
2 × Canada
2 × Italy
2 × Sweden
2 × The Netherlands
2 × United Kingdom
27 × USA
3 × France
Collaborated with:
J.Peterson D.Winograd-Cort H.Liu Z.Wan S.Anderson J.Young B.Goldberg C.Elliott S.Liang A.Voellmy W.Taha M.Odersky R.Kelsey D.A.Kranz H.Nilsson A.Reid G.D.Hager M.Tullsen C.Chen R.Mirani R.S.Sundaresh J.C.Guzmán E.Mohr A.G.Bloss L.Smith A.Bloss R.M.Keller E.Cheng L.Huang M.P.Jones D.Rabin K.Chen A.Kishon C.Consel A.Courtney J.Wang K.Yamamoto J.Rees J.Philbin N.Adams
Talks about:
function (10) program (10) compil (6) frp (5) reactiv (4) system (4) optim (4) arrow (4) interpret (3) parallel (3)

Person: Paul Hudak

DBLP DBLP: Hudak:Paul

Facilitated 4 volumes:

ICFP 2010Ed
PADL 2008Ed
ICFP 1998Ed
HW 1997Ed

Contributed to:

ICFP 20142014
PADL 20122012
PADL 20112011
PADL 20102010
ICFP 20092009
PADL 20072007
PADL 20042004
PADL 20032003
AFP 20022002
PADL 20022002
ICFP 20012001
PADL 20012001
PLDI 20002000
ESOP 19991999
ICSE 19991999
PADL 19991999
PEPM 19991999
ICFP 19971997
POPL 19971997
AFP 19961996
ESOP 19961996
FPCA 19951995
POPL 19951995
POPL 19931993
WSA 19931993
LFP 19921992
PLDI 19911991
POPL 19911991
LICS 19901990
PLDI 19901990
POPL 19891989
LFP 19881988
POPL 19881988
FPCA 19871987
Best of PLDI 20041986
LFP 19861986
POPL 19861986
FPCA 19851985
POPL 19851985
LFP 19841984
POPL 19841984
LFP 19821982
Haskell 20122012
Haskell 20132013

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.