Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!

Code from the book "Types and Programming Languages" in Scala

This repository is meant to be a personal collection of implementations of the concepts from the TaPL(Types and Programming Languages) book.

DeepLang type system based on Ocaml

https://www.cis.upenn.edu/~bcpierce/tapl/

Source code for TAPL

:construction: My Coq proofs for the TAPL book. WIP.

Working through the Language described in TAPL

My solutions for the exercises presented in Benjamin C. Pierce's Types and Programming Languages.

No description provided.

Examples and exercises from books I read.

C# implementation for TAPL

Interpreter implementations from "Types and Programming Languages" by Benjamin C. Pierce, written in Go

Implementations of various systems as described in Types and Programming Languages book, in Python 3.10

An OCaml (embedded) implementation of systems from the book Types and Programming Languages by Benjamin C. Pierce.

TAPL - Types and Programming Languages

Code written in the course of reading “Types and Programming Languages” at the London Computation Club

Implementation for Types and Programming Languages book

Touch's Awesome Programming Language

Types and Programming Languages (TAPL)

Implementing Types and Programming Languages by Benjamin Pierce in Flix.

Simple untyped language

TaPLのRust実装

"Types and Programming Languages" in Isabelle/HOL