tapl-implementations
tapl-implementations copied to clipboard
roehst
Implementations from Benjamin Pierce's "Types and Programming Languages" book
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/
roehst