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).