Programming Unikernels in the Large via Functor Driven Development. - Gabriel Radanne; Thomas Gazagnaire; Anil Madhavapeddy; Jeremy Yallop; Richard Mortier; Hannes Mehnert; Mindy Preston; David J. Scott (CoRR, 2019)