• 作者及相关信息：William Robert Stoye，1985 年 12 月提交博士论文，基于此形成技术报告，论文提交至剑桥大学莫德林学院，DOI 为10.48456/tr-81。
• 研究背景与现状：近年来功能程序员有很多好想法但成果少，功能语言虽被提倡但实际应用领域少，导致其观点受怀疑，主要原因是缺乏广泛可用的功能语言实现，这源于对实现技术理解差且功能编程社区对输入输出操作表示方式有争议，导致实现者难以给出有效方案。
• 研究内容与成果：构造专门处理器 SKIM 以快速评估功能程序，允许实验各种实现方法并提供高性能实现来编写大型功能程序，包括实用的 turner 风格组合子归约实现细节（存储使用大幅改进）、Kennaway 的导演字符串实现（提升性能并增进对各种归约策略的理解）、关于用功能语言表示输入输出和非确定性任务及编写操作系统的综合建议及在 SKIM 上的实现细节、基于大量实践经验对功能编程的一些观察。
• 获取资料：可通过PDF（7.2MB）获取全文，BibTeX 记录为@TechReport{UCAM-CL-TR-81, author = {Stoye, William Robert}, title = {The implementation of functional languages using custom hardware}, year = 1985, month = dec, url = {https://www.cl.cam.ac.uk/tech...}, institution = {University of Cambridge, Computer Laboratory}, doi = {10.48456/tr-81}, number = {UCAM-CL-TR-81} }。