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]
Abstract is missing.