GUIs: modelo jerárquico vs modelo de señales

Artículo de MS Research sobre un modelo en Haskell de interfaces basado en señales, tipo hardware VLSI pero funcional:
Genuinely Functional User Interfaces


Modelo de programación de GUIs basado en máquinas de estados jerárquicas (hierarchical state machine):
Facilitating post-WIMP Interaction Programming using the Hierarchical State Machine Toolkit