Peter Henderson’s 1982 paper “Purely Functional Operating Systems”

https://eighty-twenty.org/files/Henderson%20-%201982%20-%20Purely%20Functional%20Operating%20Systems.pdf ⌘ Read more