https://github.com/kseo/tapl

Typechecker Implementations of Types and Programming Languages
https://github.com/kseo/tapl

Last synced: 27 days ago
JSON representation

Typechecker Implementations of Types and Programming Languages

• Host: GitHub
• URL: https://github.com/kseo/tapl
• Owner: kseo
• Created: 2014-02-25T07:45:59.000Z (over 10 years ago)
• Default Branch: master
• Last Pushed: 2014-02-25T07:46:23.000Z (over 10 years ago)
• Last Synced: 2023-03-22T16:33:10.910Z (over 1 year ago)
• Language: OCaml
• Size: 180 KB
• Stars: 6
• Watchers: 2
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
Typechecker Implementations of Types and Programming Languages

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