This repository contains selected companion materials from Ben Pierce's
TAPL ("Types and Programming Languages", MIT Press, 2002). The included
typecheckers are written in OCaml, configured and built with vanilla Unix
make, and generally fairly easy to parse. Lightly edited source code for
the typecheckers lives in /typecheckers, and /tarballs contains the
official resources distributed on the TAPL website.
-
Notifications
You must be signed in to change notification settings - Fork 0
mattparlmer/tapl
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Companion materials for Ben Pierce's "Types and Programming Languages"
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published