Greensmith, J., & Gale, M. B. (2017, June). The Functional Dendritic Cell Algorithm: A formal specification with Haskell. Presented at 2017 IEEE Congress on Evolutionary Computation (CEC), Donostia, San Sebastián, Spain