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]
@inproceedings{Jeffrey13-1, title = {Dependently Typed Web Client Applications - FRP in Agda in HTML5}, author = {Alan Jeffrey}, year = {2013}, doi = {10.1007/978-3-642-45284-0_16}, url = {http://dx.doi.org/10.1007/978-3-642-45284-0_16}, researchr = {https://researchr.org/publication/Jeffrey13-1}, cites = {0}, citedby = {0}, pages = {228-243}, booktitle = {Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings}, editor = {Konstantinos F. Sagonas}, volume = {7752}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-45283-3}, }