back
1 comments
This is one of my favorite papers by Conal Elliott. It demonstrates his core technique of "denotational design via typeclass morphisms"[0] while solving some relatively tough problems around the meaning of FRP as it relates to its efficient implementation.

[0] http://conal.net/papers/type-class-morphisms