Purely Functional Operating Systems
Thu 23 Jun 2022 13:02 CEST
Apparently Peter Henderson’s 1982 paper “Purely Functional Operating Systems” is hard to find online. Some years ago, during my PhD research, I scanned the paper from a physical copy in the university library. Here’s the scan I made.