> 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-op...