TAPL
所属分类：编程语言基础
开发工具：OCaml
文件大小：0KB
下载次数：0
上传日期：2023-07-31 14:27:46
上 传 者：
sh-1993
说明： 类型和编程语言，
(types-and-programming-languages,)
文件列表:
LICENSE (1065, 2023-10-06)
ocaml/ (0, 2023-10-06)
ocaml/.DS_Store (6148, 2023-10-06)
ocaml/01_arith/ (0, 2023-10-06)
ocaml/01_arith/.depend (833, 2023-10-06)
ocaml/01_arith/Makefile (2243, 2023-10-06)
ocaml/01_arith/core.ml (1184, 2023-10-06)
ocaml/01_arith/core.mli (123, 2023-10-06)
ocaml/01_arith/lexer.mll (5889, 2023-10-06)
ocaml/01_arith/main.ml (2187, 2023-10-06)
ocaml/01_arith/parser.mly (4077, 2023-10-06)
ocaml/01_arith/support.ml (1262, 2023-10-06)
ocaml/01_arith/support.mli (1853, 2023-10-06)
ocaml/01_arith/syntax.ml (2492, 2023-10-06)
ocaml/01_arith/syntax.mli (510, 2023-10-06)
ocaml/01_arith/test.f (118, 2023-10-06)
ocaml/02_untyped_lambda/ (0, 2023-10-06)
ocaml/02_untyped_lambda/.depend (833, 2023-10-06)
ocaml/02_untyped_lambda/Makefile (2243, 2023-10-06)
ocaml/02_untyped_lambda/core.ml (663, 2023-10-06)
ocaml/02_untyped_lambda/core.mli (134, 2023-10-06)
ocaml/02_untyped_lambda/lexer.mll (5639, 2023-10-06)
ocaml/02_untyped_lambda/main.ml (2347, 2023-10-06)
ocaml/02_untyped_lambda/parser.mly (4788, 2023-10-06)
ocaml/02_untyped_lambda/support.ml (1262, 2023-10-06)
ocaml/02_untyped_lambda/support.mli (1853, 2023-10-06)
ocaml/02_untyped_lambda/syntax.ml (4611, 2023-10-06)
ocaml/02_untyped_lambda/syntax.mli (1049, 2023-10-06)
ocaml/02_untyped_lambda/test.f (81, 2023-10-06)
ocaml/03_fulluntyped/ (0, 2023-10-06)
ocaml/03_fulluntyped/.depend (833, 2023-10-06)
ocaml/03_fulluntyped/Makefile (2243, 2023-10-06)
ocaml/03_fulluntyped/core.ml (2904, 2023-10-06)
ocaml/03_fulluntyped/core.mli (183, 2023-10-06)
ocaml/03_fulluntyped/lexer.mll (6043, 2023-10-06)
ocaml/03_fulluntyped/main.ml (2398, 2023-10-06)
ocaml/03_fulluntyped/parser.mly (6724, 2023-10-06)
ocaml/03_fulluntyped/support.ml (1262, 2023-10-06)
ocaml/03_fulluntyped/support.mli (1853, 2023-10-06)
... ...
# TAPL
types-and-programming-languages
Two version(Rust\OCaml) implementation of TAPL, while OCaml version is from https://www.cis.upenn.edu/~bcpierce/tapl/checkers/.
* `01_arith`: untyped Arithmetic Expressions(chapter 03 and 04).
* `02_lambda`: untyped Lambda Calculus(chapter 05,06 and 07).
* `03_typed_arith`: typed Arithmetic Expressions(chapter 08,10).
近期下载者：
相关文件：
收藏者：