"Ensuring information security by using Haskell's advanced type system."

Matteo Di Pirro, Mauro Conti, Riccardo Lazzeretti (2017)

Details and statistics

DOI: 10.1109/CCST.2017.8167844

access: closed

type: Conference or Workshop Paper

metadata version: 2018-02-06

a service of  Schloss Dagstuhl - Leibniz Center for Informatics