Purely Functional Operating Systems
Summary
An archival blog post highlighting Peter Henderson’s 1982 paper 'Purely Functional Operating Systems,' noting its relative scarcity online and sharing a scanned copy the author created from a university library. It also provides the formal citation and a link to the scanned PDF and to the Cambridge University Press chapter in Functional Programming and Its Applications.