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.
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...