An UI framework based on Function Reactive Programming