Alan Jeffrey. Dependently Typed Web Client Applications - FRP in Agda in HTML5. In Konstantinos F. Sagonas, editor, Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings. Volume 7752 of Lecture Notes in Computer Science, pages 228-243, Springer, 2013. [doi]
Abstract is missing.