https://github.com/hayatoito/tapl-in-rust

https://github.com/hayatoito/tapl-in-rust

Last synced: about 1 month ago
JSON representation

• Host: GitHub
• URL: https://github.com/hayatoito/tapl-in-rust
• Owner: hayatoito
• Created: 2016-12-21T16:46:05.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2016-12-21T16:47:05.000Z (over 7 years ago)
• Last Synced: 2024-02-11T13:59:22.287Z (5 months ago)
• Language: Rust
• Size: 11.7 KB
• Stars: 22
• Watchers: 3
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Lists

• awesome-rust-formalized-reasoning - TAPL in Rust - another collection of implementations of TAPL. (Books code / Libraries)

README

        
TAPL in Rust

====

Yet another collection of implementations of TAPL ([Types and Programming Languages](https://www.cis.upenn.edu/~bcpierce/tapl/)) written in Rust.

See [Resources for Types and Programming Languages](https://www.cis.upenn.edu/~bcpierce/tapl/resources.html) for the original implementations written in OCaml.

- [arith.rs](src/tapl/arith.rs)

  - Chapter 3: Untyped Arithmetic Expressions

  - Chapter 4: An ML Implementation of Arithmetic Expressions

- [untyped.rs](src/tapl/untyped.rs)

  - Chapter 5: The Untyped Lambda-Calculas

  - Chapter 6: Nameless Representaion of Terms

  - Chapter 7: An ML Implementation of the Lambda-Calculus

- [simplebool.rs](src/tapl/simplebool.rs)

  - Chapter 8: Typed Arithmetic Expressions

  - Chapter 9: Simply Typed Lambda-Calculus

  - Chapter 10: An ML Implementation of Simple Types

- [fullsub.rs](src/tapl/fullsub.rs)

  - Chapter 17: An ML Implementation of Subtyping

- [fullpoly.rs](src/tapl/fullpoly.rs)

  - Chapter 25: An ML Implementation of System F