https://github.com/tomeraberbach/types-and-programming-languages-exercises
My solutions for the exercises presented in Benjamin C. Pierce's Types and Programming Languages.
https://github.com/tomeraberbach/types-and-programming-languages-exercises
exercise-solutions exercises programming-languages tapl textbook type-system type-theory types-and-programming-languages
Last synced: 5 months ago
JSON representation
My solutions for the exercises presented in Benjamin C. Pierce's Types and Programming Languages.
- Host: GitHub
- URL: https://github.com/tomeraberbach/types-and-programming-languages-exercises
- Owner: TomerAberbach
- License: mit
- Created: 2020-02-18T23:20:32.000Z (over 6 years ago)
- Default Branch: main
- Last Pushed: 2021-01-31T03:49:54.000Z (over 5 years ago)
- Last Synced: 2026-01-12T16:10:59.805Z (5 months ago)
- Topics: exercise-solutions, exercises, programming-languages, tapl, textbook, type-system, type-theory, types-and-programming-languages
- Homepage:
- Size: 4.88 KB
- Stars: 2
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: readme.md
- License: license
Awesome Lists containing this project
README
# Types and Programming Languages Exercises
> My solutions for the exercises presented in Benjamin C. Pierce's *Types and Programming Languages*.
## License
[MIT](https://github.com/TomerAberbach/types-and-programming-languages-exercises/blob/main/license) © [Tomer Aberbach](https://github.com/TomerAberbach)