Ensuring information security by using Haskell's advanced type system - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Matteo Di Pirro' in GoogleThis author has not been identified. Look up 'Mauro Conti' in GoogleThis author has not been identified. Look up 'Riccardo Lazzeretti' in Google

runs on WebDSL