这是名为 PLT（编程语言理论）的 Windows 应用程序，其最新版本可以下载为 pltsourcecode.tar.gz。它可以在免费的工作站托管服务提供商 OnWorks 上在线运行。
使用 OnWorks 免费下载并在线运行这个名为 PLT（编程语言理论）的应用程序。
请按照以下说明运行此应用程序：
- 1. 在您的 PC 中下载此应用程序。
- 2. 在我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX 中输入您想要的用户名。
- 3. 在这样的文件管理器中上传这个应用程序。
- 4. 从本网站启动任何 OS OnWorks 在线模拟器，但更好的 Windows 在线模拟器。
- 5. 从您刚刚启动的 OnWorks Windows 操作系统，使用您想要的用户名转到我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX。
- 6. 下载应用程序并安装。
- 7. 从您的 Linux 发行版软件存储库下载 Wine。 安装后，您可以双击该应用程序以使用 Wine 运行它们。 您还可以尝试 PlayOnLinux，这是 Wine 上的一个花哨界面，可帮助您安装流行的 Windows 程序和游戏。
Wine 是一种在 Linux 上运行 Windows 软件的方法，但不需要 Windows。 Wine 是一个开源的 Windows 兼容层，可以直接在任何 Linux 桌面上运行 Windows 程序。 本质上，Wine 试图从头开始重新实现足够多的 Windows，以便它可以运行所有这些 Windows 应用程序，而实际上不需要 Windows。
SCREENSHOTS
Ad
PLT（编程语言理论）
商品描述
精心策划的编程语言理论路线图，将开创性的论文、书籍和资源整合成一个易于自学的结构。它涵盖了λ演算、类型系统、解释器、编译器和形式语义等基础主题，同时也指向了效果系统、依赖类型和验证等当代领域。每个部分都按主题分组资料，以便学习者循序渐进地建立理解，而不是随意浏览。该清单强调了原始资料和高质量的讲座，鼓励读者参与严谨的论述，而不是肤浅的总结。它既可以作为新手的入门指南，也可以作为经验丰富的从业者的参考索引，填补知识空白。通过将编程语言理论视为一门易于理解、循序渐进的课程，该知识库降低了认真学习的门槛，同时又不淡化了该学科的内涵。
功能
- 围绕核心 PL/类型理论主题（模块、隐式参数、效果等）组织的材料
- 与理论概念相关的嵌入式代码片段（例如 SML / OCaml / ML 风格）
- 书目指针和已发表论文的参考文献（例如 Yallop 的效果书目）
- 用于导航主题、交叉引用相关主题的超链接结构
- 自托管网站/文档视图
- 鼓励他人贡献和扩展主题
程式语言
JavaScript
分类
此应用程序也可从 https://sourceforge.net/projects/plt-prog-languages.mirror/ 获取。它已托管在 OnWorks 中，以便通过我们的免费操作系统之一以最便捷的方式在线运行。
