He also collaborated with Conal Elliott to bring us functional reactive programming as we know it today. (Though, I'm sure Conal would be more than helpful to point out how most implementations still have it wrong.)