%0 Conference Paper %1 conf/ifl/FowlerB13 %A Fowler, Simon %A Brady, Edwin %B IFL %D 2013 %E Plasmeijer, Rinus %I ACM %K %P 49 %T Dependent Types for Safe and Secure Web Programming. %U http://dblp.uni-trier.de/db/conf/ifl/ifl2013.html#FowlerB13 %@ 978-1-4503-2988-0

@inproceedings{conf/ifl/FowlerB13, added-at = {2023-12-12T21:16:07.000+0100}, author = {Fowler, Simon and Brady, Edwin}, biburl = {https://www.bibsonomy.org/bibtex/285e756c8c369f597ba4d1222eb567a1f/admin}, booktitle = {IFL}, crossref = {conf/ifl/2013}, editor = {Plasmeijer, Rinus}, ee = {https://doi.org/10.1145/2620678.2620683}, interhash = {3b9aa4e444c917cc2bd14940ab1d357b}, intrahash = {85e756c8c369f597ba4d1222eb567a1f}, isbn = {978-1-4503-2988-0}, keywords = {}, pages = 49, publisher = {ACM}, timestamp = {2023-12-12T21:16:07.000+0100}, title = {Dependent Types for Safe and Secure Web Programming.}, url = {http://dblp.uni-trier.de/db/conf/ifl/ifl2013.html#FowlerB13}, year = 2013 }