文件名称：elementary-plt-tutorial:初级程序语言理论速成课程
文件大小：26KB
文件格式：ZIP
更新时间：2024-07-28 18:02:58
TeX
形式方法教程 本教程将介绍编程语言理论中的一些基本主题。 我们将通过为两种简单的编程语言构建解释器来实现这一点：Arith Lang 和类型良好的 lambda 演算。 依赖类型编程语言Idris将用于介绍这些概念。 arith-lang 最初在一篇题为 / 编程语言理论中的符号速成课程 / 的博客文章中正式描述。在这里，我们将形式化与用Idris编写的解释器一起展示。 类型良好的 lambda 演算的解释器最初出现在 Idris 语言的教程中。 在这里，我们向解释器提供了一些解释基本形式方法的附加材料。 有关 Idris 的更多信息，请访问：[ ] 贡献 如果您想为本教程做出贡献，请随时这样做。 但是，请先阅读有关的。 可以在问题跟踪器中找到并归档问题 建造 本教程使用LaTeX构建，可从获得。 Makefile可用于构建 PDF。
【文件预览】：
elementary-plt-tutorial-master
----biblio.bib(1KB)
----content()
--------intro.tex(2KB)
--------typed-var-arith.tex(9KB)
--------typed-interp.tex(13KB)
--------typed-arith.tex(13KB)
----imports.sty(1KB)
----conf.ltx(1KB)
----glossary.gloss(1KB)
----idrislang.sty(5KB)
----CONTRIBUTING.md(2KB)
----body.tex(2KB)
----code()
--------Lambda.idr(2KB)
--------PlangTheory.idr(382B)
--------TypedArith.idr(1KB)
--------ArithLang.idr(2KB)
----.gitignore(284B)
----acronyms.gloss(143B)
----Makefile(427B)
----sta-drafting.sty(2KB)
----README.md(1KB)
----tutorial.screen.tex(468B)
----tutorial.print.tex(119B)