https://github.com/v4kst1z/tapl

TaPLのRust実装
https://github.com/v4kst1z/tapl

tapl

Last synced: about 1 month ago
JSON representation

TaPLのRust実装

• Host: GitHub
• URL: https://github.com/v4kst1z/tapl
• Owner: v4kst1z
• Created: 2020-01-22T09:06:09.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2020-04-26T16:20:30.000Z (about 4 years ago)
• Last Synced: 2024-02-11T13:59:27.947Z (5 months ago)
• Topics: tapl
• Language: Rust
• Homepage:
• Size: 7.8 MB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Lists

• awesome-rust-formalized-reasoning - tapl - implementation of TAPL. (Books code / Libraries)

README

        
# Types and Programming Languages

- [arith](./arith) 

  - Chapter 3: Untyped Arithmetic Expressions

  - Chapter 4: An ML Implementation of Arithmetic Expressions

- [fulluntyped](./fulluntyped)

  - Chapter 5: The Untyped Lambda-Calculus

  - Chapter 6: Nameless Representation of Terms

- [untyped](./untyped)

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

- [tyarith](./tyarith)

  - Chapter 8: Typed Arithmetic Expressions

- [simplebool](./simplebool)

  - Chapter 10: An ML Implementation of Simple Types

- [fullsimple](./fullsimple)

  - Chapter 9: Simply Typed Lambda-Calculus

  - Chapter 11: Simple Extensions