I wrote a GUI system using FRP in OCaml. I found events + behaviors (and their Cartesian product) to work very well (with the notable exception that syntactic sugar for defining state machines would be a desirable addition), so I'm very curious to see what improvements you suggest.
By "post my thesis" presumably you mean on your website and not HN? (I'll never find it if it's just on HN.)
Who's your thesis advisor?