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!
Source code for TAPL
Examples and exercises from books I read.
Implementations of various systems as described in Types and Programming Languages book, in Python 3.10
Types and Programming Languages (TAPL)
Touch's Awesome Programming Language
C# implementation for TAPL
Implementing Types and Programming Languages by Benjamin Pierce in Flix.
An OCaml (embedded) implementation of systems from the book Types and Programming Languages by Benjamin C. Pierce.
My solutions for the exercises presented in Benjamin C. Pierce's Types and Programming Languages.
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."