|
Publications
Presented in reverse chronological order
|
|
Polymorphic Temporal Media |
| |
Paul Hudak, Tech Report # YALEU/DCS/RR-1259 |
The Yampa Arcade |
| |
Antony Courtney, Henrik Nilsson, and John
Peterson, in Haskell Workshop 2003 |
| Functional
Automatic Differentiation with Dirac Impulses |
| |
Henrik Nilsson, in ICFP 03 |
| Dance: A
Declarative Language for the Control of Humanoid Robots |
| |
Liwen Huang and Paul Hudak, Tech Report #
YALEU/DCS/RR-1253 |
Functional
Hybrid Modeling |
| |
Henrik Nilsson, John Peterson, and Paul Hudak,
in PADL 03 |
| Arrows,
Robots, and Functional Programming |
| |
Paul Hudak, Antony Courtney, Henrik Nilsson,
and John Peterson, in Summer School on Advanced Functional Programming
2002, Oxford University |
| A Language for
Mathematical Visualization |
| |
John Peterson, in FDPE 02 |
| Functional
Reactive Programming, Continued |
| |
Henrik Nilsson, Antony Courtney and John Peterson, in
Haskell Workshop 2002 |
| Functional Reactive
Robotics: An Exercise in Principled Integration of Domain-Specific
Languages |
| |
Izzet Pembeci, Henrik Nilsson, Greg Hager, Darius Burschka,
and John Peterson, in PPDP 02 |
| Functional
Reactive Programming for Real-Time Reactive Systems |
| |
Zhanyong Wan, PhD Dissertation |
| Event-Driven FRP |
| |
Zhanyong Wan, Walid Taha, and Paul Hudak, in PADL 02 |
| Directions in
Functional Programming for Real(-Time) Applications |
| |
Walid Taha, Paul Hudak, and Zhanyong Wan, in EMSOFT
01 |
| Genuinely
Functional User Interfaces |
| |
Antony Courtney and Conal Elliott, in Haskell Workshop
2001 |
| Real-Time FRP |
| |
Zhanyong Wan, Walid Taha, and Paul Hudak, in ICFP 01 |
| FVision:
A Declarative Language for Visual Tracking |
| |
John Peterson, Greg Hager, Paul Hudak, and Alastair
Reid, in PADL 01 |
| Frappé:
Functional Reactive Programming in Java |
| |
Antony Courtney, in PADL 01 |
| Functional Reactive
Programming from First Principles |
| |
Zhanyong Wan and Paul Hudak, in PLDI 00 |
| Parallel Functional
Reactive Programming |
| |
John Peterson, Valery Trifonov, and Andrei Serjantov,
in PADL 00 |
| Monadic Robotics |
| |
John Peterson and Greg Hager. In DSL 99. |
| A Language for
Declarative Robotic Programming |
| |
John Peterson, Greg Hager, and Paul Hudak. In ICRA 99. |
| FROB: A Transformational
Approach to the Design of Robot Software |
| |
Greg Hager, John Peterson. In ISRR 99. |
| Prototyping Real-Time
Vision Systems: An Experiment in DSL Design, |
| |
Alastair Reid, John Peterson, Paul Hudak, and Greg Hager. In ICSE99.
|
| Lambda in Motion:
Controlling Robots with Haskell, |
| |
John Peterson, Paul Hudak, and Conal Elliott. In PADL
1999. |
| Modular Domain
Specific Languages and Tools |
| |
Paul Hudak, in ICSR 98 |
| Functional Reactive
Animation |
| |
Conal Elliott and Paul Hudak, in ICFP 97 |
