Functional Programming and Security (preprint)
arxiv.org