Asynchronous functional reactive programming for GUIs
integrating dataflow evaluation into a practical higher - order call - by - value language .