> Of particular interest is Henderson’s paper “Purely Functional Operating Systems” which was difficult to find the last I checked. Find it here: https://eight

> Of particular interest is Henderson’s paper “Purely Functional Operating Systems” which was difficult to find the last I checked. Find it here: https://eighty-twenty.org/2022/06/23/henderson-functional-operating-systems-1982 https://eighty-twenty.org/2022/06/23/henderson-functional-op...