文件名称：cmu-cs-212ML-notes-spring-1998:1998年Spring，CMU CS 15-212-ML的一些注释
文件大小：4KB
文件格式：ZIP
更新时间：2024-06-08 15:54:16
1998年Spring，CMU CS 15-212-ML的一些注释 在1990年代后期，我在CMU的15-212-ML上开设了CS入门课程，讲授的主题包括类型，归纳推理和证明，功能编程，通过模块设计抽象和参数化数据类型的过程，使用标准ML作为程序设计选择的语言。 下面的逐字记录是我给学生们的讲义。 在将近二十年后的今天，更新音调将是一个有趣的练习。 现实世界中的ML和其他功能语言 ML最初是从交互式定理证明社区发展而来的，因此毫无疑问的是，存在数十万行ML代码，用于实现各种定理证明和推理助手。 ML作为适用于正确，高效和超大型程序的语言的优势，使其在实现解释器，编译器，程序验证工具，数字电路设计，存储器一致性协议设计，微处理器设计和验证，其他硬件验证，网络安全性方面得到了应用。 ， 等等。 它也已成功用于操作系统相关的工作。 例如，位于CMU的Fox项目使用SML来实现TCP / I
【文件预览】：
cmu-cs-212ML-notes-spring-1998-master
----README.md(4KB)
----cs212ML-notes.txt(3KB)