Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
-
Updated
Jul 26, 2020 - Rust
#
tapl
Here are 30 public repositories matching this topic...
Code from the book "Types and Programming Languages" in Scala
-
Updated
Oct 22, 2021 - Scala
Types and Programming Languages (TAPL)
-
Updated
Nov 29, 2020 - Haskell
This repository is meant to be a personal collection of implementations of the concepts from the TaPL(Types and Programming Languages) book.
-
Updated
Oct 3, 2022 - Haskell
Source code for TAPL
-
Updated
Mar 24, 2017 - OCaml
-
Updated
Jan 13, 2019 - C
My solutions for the exercises presented in Benjamin C. Pierce's Types and Programming Languages.
type-theory
programming-languages
exercises
tapl
textbook
type-system
exercise-solutions
types-and-programming-languages
-
Updated
Jan 31, 2021
Examples and exercises from books I read.
tapl
the-little-schemer
the-reasoned-schemer
functional-programming-in-scala
advent-of-code-2017
advent-of-code-2018
the-little-typer
advent-of-code-2019
advent-of-code-2021
-
Updated
Nov 14, 2024 - Scala
C# implementation for TAPL
-
Updated
Jan 23, 2024 - C#
Implementations of various systems as described in Types and Programming Languages book, in Python 3.10
-
Updated
Feb 6, 2022 - Python
An OCaml (embedded) implementation of systems from the book Types and Programming Languages by Benjamin C. Pierce.
-
Updated
Jul 15, 2022 - OCaml
Code written in the course of reading “Types and Programming Languages” at the London Computation Club
-
Updated
Jun 24, 2017 - Haskell
Touch's Awesome Programming Language
-
Updated
Jul 11, 2023 - Python
Improve this page
Add a description, image, and links to the tapl topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the tapl topic, visit your repo's landing page and select "manage topics."