Ensuring information security by using Haskell's advanced type system
Di Pirro, Matteo, Conti, Mauro, Lazzeretti, Riccardo
Published in 2017 International Carnahan Conference on Security Technology (ICCST) (01.10.2017)
Published in 2017 International Carnahan Conference on Security Technology (ICCST) (01.10.2017)
Get full text
Conference Proceeding