Dependent Types for Safe and Secure Web Programming

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]

Authors

Simon Fowler

This author has not been identified. Look up 'Simon Fowler' in Google

Edwin Brady

Identified as Edwin Brady