Simon Fowler, Edwin Brady. Dependent Types for Safe and Secure Web Programming. In Rinus Plasmeijer, editor, Proceedings of the 25th Symposium on Implementation and Application of Functional Languages, Nijmegen, The Netherlands, August 28-30, 2013. pages 49, ACM, 2013. [doi]
Abstract is missing.