@inproceedings{Fowler_2013,
    doi = {10.1145/2620678.2620683},
    url = {https://doi.org/10.1145%2F2620678.2620683},
    year = {2013},
    month = {aug},
    publisher = {{ACM}},
    author = {Simon Fowler and Edwin Brady},
    title = {Dependent Types for Safe and Secure Web Programming},
    booktitle = {Proceedings of the 25th symposium on Implementation and Application of Functional Languages}
}

@inproceedings{Fowler_2013, doi = {10.1145/2620678.2620683}, url = {https://doi.org/10.1145%2F2620678.2620683}, year = {2013}, month = {aug}, publisher = {{ACM}}, author = {Simon Fowler and Edwin Brady}, title = {Dependent Types for Safe and Secure Web Programming}, booktitle = {Proceedings of the 25th symposium on Implementation and Application of Functional Languages} }