Asynchronous functional reactive programming for GUIs
FranTk - a declarative GUI language for Haskell