Rebuilding Operating Systems with Functional Principles

https://anil.recoil.org/videos/d456e4bc-bce6-45ad-9d2e-102f834ec400image
#keynote#unikernels#mirageos#systems#embedded#scotland

Part 1 of my distinguished lecture series at St Andrews.

Related

Rebuilding Operating Systems with Functional PrinciplesFeb 2020
Distinguished lecture series at University of St Andrews on functional programming principles applied to operating systems design.
UnikernelsJan 2010