/tapl

Implementation of the languages presented in the book "Types and Programming Languages" by Benjamin C. Pierce.

Primary LanguageProlog

TAPL

Implementation of the languages presented in the book "Types and Programming Languages" by Benjamin C. Pierce.