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

• UpdatedJul 26, 2020
• Rust

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

• UpdatedOct 22, 2021
• Scala

Types and Programming Languages (TAPL)

• UpdatedNov 29, 2020
• Haskell

DeepLang type system based on Ocaml

• UpdatedOct 31, 2024
• OCaml

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

• UpdatedOct 3, 2022
• Haskell

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

• UpdatedOct 9, 2017
• Rust

Source code for TAPL

• UpdatedMar 24, 2017
• OCaml

Working through the Language described in TAPL

• UpdatedNov 13, 2017
• Haskell

🚧 My Coq proofs for the TAPL book. WIP.

• UpdatedFeb 9, 2020
• Coq

• UpdatedJan 13, 2019
• C

Examples and exercises from books I read.

• UpdatedNov 14, 2024
• Scala

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

• UpdatedJan 31, 2021

C# implementation for TAPL

• UpdatedJan 23, 2024
• C#

Implementation for Types and Programming Languages book

• UpdatedDec 2, 2018
• F#

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

• UpdatedFeb 6, 2022
• Python

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

• UpdatedJul 15, 2022
• OCaml

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

• UpdatedJun 24, 2017
• Haskell

Touch's Awesome Programming Language

• UpdatedJul 11, 2023
• Python

Simple untyped language

• UpdatedMay 4, 2017
• Haskell

Types and Programming Languages

• UpdatedOct 29, 2017
• Haskell