1. 2

“Event-driven programming is based on a natural abstraction: an event is a computation that can eventually return a value. This paper exploits the intuition relating events and time by drawing a Curry-Howard correspondence between a functional event-driven programming language and a linear-time temporal logic.”

Direct link to the PDF is https://docs.google.com/viewer?url=http%3A%2F%2Fwww.mpi-sws.org%2F~neelk%2Fessence-of-events.pdf