Functional Reactive GUI Programming with Modal Types. - Jean-Claude Disch; Asger Heegaard; Patrick Bahr (TFP, 2025)