Building the Xen toolstack using OCaml

https://anil.recoil.org/videos/43ab3ae0-9ffc-474f-aa02-3cc1139f54d1image
#mirageos#unikernels#icfp#ocaml#fp#systems#cloud

Our experiences with Xen toolstack in OCaml at ICFP 2010

Related

Building the Xen toolstack using OCamlNov 2010
Talk on building the Xen toolstack using OCaml.
Using functional programming within an industrial product group: perspectives and perceptionsSep 2010
Dave Scott, Richard Sharp et al. — Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Xen HypervisorJan 2002