Maybe I haven't spent enough time digging into the academic literature, but I'm not aware of very much that's good. The original Elm paper[1] is quite good but interestingly enough Elm has moved away from FRP. There are blog posts and talks but not as far as I know a paper.

The computer science content behind UI is pretty similar to that of build systems, particularly incremental computation and trying to derive dependency graphs, and [2] is a seminal paper on that topic.

If other people have suggestions I'd like to hear them.

[1]: https://people.seas.harvard.edu/~chong/pubs/pldi13-elm.pdf

[2]: https://www.microsoft.com/en-us/research/uploads/prod/2018/0...