没有合适的资源?快使用搜索试试~ 我知道了~
IoPLMaterials:京都大学“程序语言的实现”课程的资料
共70个文件
md:28个
ml:13个
dune:6个
需积分: 5 1 下载量 7 浏览量
2021-05-14
21:53:36
上传
评论
收藏 24.34MB ZIP 举报
温馨提示
{%include head.html%} 京都大学工学部专门课程“程序语言处理”讲义 注意 4月6日:如果您正在考虑参加请务必查看。 4月1日:2021年版本页面。 学习方法 讲座期间将分别指导计算机科学课程的学生。 (因为我还将进行实验3SW。) 让我们从克隆存储库。 让我们 。 textbook/interpreter/源代码位于已删除源代码的textbook/interpreter/目录中,因此让我们使用dune命令进行构建。 让我们在阅读解决练习。 如果您在教科书中发现错误,请在报告。 讲课的学生可以在讲课Slack上提问。 成为强大的编程语言专家。为了这个目的。 .. .. 让我们自己创建一种语言并创建一个处理系统。让我们吹嘘我们制作的处理系统。我希望我的语言会在世界范围内使用。 或者,学习编程语言理论和程序验证。 待办事项:参考 教科书 (认真的降价。) OCaml对于
资源详情
资源评论
资源推荐
收起资源包目录
IoPLMaterials-master.zip (70个子文件)
IoPLMaterials-master
misc
OCamlTutorial
bin
dune 82B
main.ml 39B
test
dune 29B
OCamlTutorial.ml 0B
dune-project 37B
lib
dune 63B
bakusoku.ml 9KB
OCamlTutorial.opam 0B
orientation.md 1KB
_includes
head.html 1KB
textbook
chap04-4.md 7KB
chap04-5.md 22KB
chap03-2.md 22KB
mltext.pdf 362KB
chap04-3.md 6KB
chap03-7.md 3KB
chap02.md 24KB
chap04-1.md 14KB
chap03-3.md 17KB
chap03-4.md 11KB
camltutorial
module
dune 26B
nat.ml 510B
main.ml 391B
nat.mli 814B
chap05-3.md 10KB
MIPS.pptx 325KB
chap05-6.md 29KB
chap04-2.md 19KB
chap05-5.md 20KB
interpreter
dune 156B
main.ml 53B
src
mySet.ml 635B
dune 86B
lexer.mll 686B
syntax.ml 347B
cui.ml 491B
environment.ml 373B
environment.mli 222B
parser.mly 716B
mySet.mli 346B
typing.ml 0B
eval.ml 1KB
README.md 45B
miniml.opam 65B
mips
ex04.s 374B
ex02.s 150B
ex01.s 159B
ex03.s 220B
chap01.md 3KB
chap05-4.md 26KB
chap05-2.md 6KB
install_opam.jp.md 10KB
camlNyumon.txt 547B
chap03-5.md 11KB
chap03-1.md 4KB
setting-up-ocaml.md 6KB
camlNyumon.ml 1KB
README.md 1B
chap04-6.md 5KB
chap05-1.md 3KB
chap04-7.md 23KB
chap03-6.md 6KB
slides
typing.pdf 11.69MB
interpreter.pdf 8.11MB
ocaml.pdf 2.64MB
intro.pdf 3.54MB
_config.yml 175B
Gemfile 300B
.gitignore 201B
README.md 7KB
共 70 条
- 1
kudrei
- 粉丝: 37
- 资源: 4757
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功
评论0