Matteo Di Pirro, Mauro Conti, Riccardo Lazzeretti. Ensuring information security by using Haskell's advanced type system. In International Carnahan Conference on Security Technology, ICCST 2017, Madrid, Spain, October 23-26, 2017. pages 1-6, IEEE, 2017. [doi]
@inproceedings{PirroCL17,
title = {Ensuring information security by using Haskell's advanced type system},
author = {Matteo Di Pirro and Mauro Conti and Riccardo Lazzeretti},
year = {2017},
doi = {10.1109/CCST.2017.8167844},
url = {https://doi.org/10.1109/CCST.2017.8167844},
researchr = {https://researchr.org/publication/PirroCL17},
cites = {0},
citedby = {0},
pages = {1-6},
booktitle = {International Carnahan Conference on Security Technology, ICCST 2017, Madrid, Spain, October 23-26, 2017},
publisher = {IEEE},
isbn = {978-1-5386-1585-0},
}