https://github.com/dannywillems/types-and-programming-languages-pierce-implementation

Implementation in different programming languages of exercices given in « Types and Programming Languages » by Benjamin C. Pierce.
https://github.com/dannywillems/types-and-programming-languages-pierce-implementation

Last synced: about 1 month ago
JSON representation

Implementation in different programming languages of exercices given in « Types and Programming Languages » by Benjamin C. Pierce.

• Host: GitHub
• URL: https://github.com/dannywillems/types-and-programming-languages-pierce-implementation
• Owner: dannywillems
• Created: 2017-01-12T21:04:33.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2017-08-05T22:06:55.000Z (over 7 years ago)
• Last Synced: 2024-05-02T01:51:32.849Z (7 months ago)
• Language: OCaml
• Size: 12.7 KB
• Stars: 6
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project