Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/v4kst1z/tapl

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

tapl

Last synced: 3 months ago
JSON representation

TaPLのRust実装

Awesome Lists containing this project

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