Code from the book "Types and Programming Languages" in Scala
-
Updated
Oct 22, 2021 - Scala
Code from the book "Types and Programming Languages" in Scala
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
Types and Programming Languages (TAPL)
Examples and exercises from books I read.
Source code for TAPL
Implementations of various systems as described in Types and Programming Languages book, in Python 3.10
Touch's Awesome Programming Language
C# implementation for TAPL
An OCaml (embedded) implementation of systems from the book Types and Programming Languages by Benjamin C. Pierce.
Implementing Types and Programming Languages by Benjamin Pierce in Flix.
Add a description, image, and links to the tapl topic page so that developers can more easily learn about it.
To associate your repository with the tapl topic, visit your repo's landing page and select "manage topics."