Code from the book "Types and Programming Languages" in Scala
-
Updated
Oct 22, 2021 - Scala
#
tapl
Here are 19 public repositories matching this topic...
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
-
Updated
Jul 26, 2020 - Rust
Types and Programming Languages (TAPL)
-
Updated
Nov 29, 2020 - Haskell
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
Dec 24, 2022 - Scala
Source code for TAPL
-
Updated
Mar 24, 2017 - OCaml
-
Updated
Jan 13, 2019 - C
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
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
Code written in the course of reading “Types and Programming Languages” at the London Computation Club
-
Updated
Jun 24, 2017 - Haskell
C# implementation for TAPL
-
Updated
Jan 5, 2022 - 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
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."