纯函数式操作系统

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

摘要

本文提供了Peter Henderson 1982年关于纯函数式操作系统的论文扫描版，该论文此前在网上难以获取。

<p><a href="https://lobste.rs/s/jlmeib/purely_functional_operating_systems">评论</a></p>
查看原文
查看缓存全文

缓存时间: 2026/09/14 00:55

# 纯函数式操作系统（Eighty-Twenty 新闻） 来源：https://eighty-twenty.org/2022/06/23/henderson-functional-operating-systems-1982 Peter Henderson 1982 年的论文《纯函数式操作系统》显然在网上很难找到。几年前，我在攻读博士学位期间，从大学图书馆的纸质副本中扫描了这篇论文。这是我制作的扫描版（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)

相似文章

Pick OS 是计算机历史中的活化石

Lobsters Hottest

本文是对 Pick 操作系统的一次个人回顾，这是一个集操作系统和数据库功能于一体的历史计算机系统，探讨了其起源、技术细节以及作者早期与之相关的职业经历。