Purely Functional Operating Systems

Lobsters Hottest Papers
functional-programming operating-systems academic-research computer-science historical-paper

Summary

This article provides a scan of Peter Henderson's 1982 paper on purely functional operating systems, which was previously hard to access online.

<p><a href="https://lobste.rs/s/jlmeib/purely_functional_operating_systems">Comments</a></p>
Original Article
View Cached Full Text

Cached at: 09/14/26, 12:55 AM

# Purely Functional Operating Systems (eighty-twenty news) Source: [https://eighty-twenty.org/2022/06/23/henderson-functional-operating-systems-1982](https://eighty-twenty.org/2022/06/23/henderson-functional-operating-systems-1982) 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](https://eighty-twenty.org/files/Henderson%20-%201982%20-%20Purely%20Functional%20Operating%20Systems.pdf)\. > [Henderson, Peter\. “Purely Functional Operating Systems\.” In Functional Programming and Its Applications, edited by J\. Darlington, P\. Henderson, and D\. Turner, 177–92\. Cambridge University Press, 1982\.](https://eighty-twenty.org/files/Henderson%20-%201982%20-%20Purely%20Functional%20Operating%20Systems.pdf)

Similar Articles

Pick OS is a Living Fossil of Computer History

Lobsters Hottest

This article is a personal retrospective on the Pick Operating System, a historical computer system that integrates OS and database features, discussing its origins, technical aspects, and the author's early career experience with it.