The following pages link to Paul Hudak (Q1085594):
Displaying 12 items.
- Denotational semantics of a para-functional programming language (Q1085595) (← links)
- Settable and non-interfering signal functions for FRP: how a first-order switch is more than enough (Q2819680) (← links)
- Causal commutative arrows and their optimization (Q2936800) (← links)
- (Q3028330) (← links)
- (Q3685177) (← links)
- A new list compaction method (Q3713589) (← links)
- (Q3787437) (← links)
- (Q4473723) (← links)
- Causal commutative arrows (Q4918242) (← links)
- (Q5112631) (← links)
- Real-time FRP (Q5178005) (← links)
- Functional reactive animation (Q5348880) (← links)