1. 首页
  2. 编程语言
  3. 其他
  4. 使用理解和分解OCaml语言Using Understanding and Unraveling The OCaml Language

使用理解和分解OCaml语言Using Understanding and Unraveling The OCaml Language

上传者: 2020-05-30 16:44:09上传 PDF文件 1.13MB 热度 27次
这些课程笔记对核心ML和一些扩展(包括其面向对象的层)的操作语义(评估)和静态语义(类型检查)进行了正式描述。
用户评论