https://github.com/roehst/tapl-implementations

Implementations from Benjamin Pierce's "Types and Programming Languages" book
https://github.com/roehst/tapl-implementations

Last synced: 10 days ago
JSON representation

Implementations from Benjamin Pierce's "Types and Programming Languages" book

• Host: GitHub
• URL: https://github.com/roehst/tapl-implementations
• Owner: roehst
• Created: 2018-12-23T21:37:07.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2018-12-23T21:37:19.000Z (almost 6 years ago)
• Last Synced: 2024-08-02T12:23:18.838Z (3 months ago)
• Language: OCaml
• Size: 82 KB
• Stars: 32
• Watchers: 2
• Forks: 4
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
This are the implementations for type-checkers from the wonderful "Types and Programming Languages" book from Benjamin Pierce.

They are also available here, but as a series of tar files, so I made this repository out of convenience for other students:

https://www.cis.upenn.edu/~bcpierce/tapl/