Here are
30 public repositories
matching this topic...
Touch's Awesome Programming Language
Updated
Jul 11, 2023
Python
Types and Programming Languages
Updated
Oct 29, 2017
Haskell
C# implementation for TAPL
Types and Programming Languages (TAPL)
Updated
Nov 29, 2020
Haskell
Implementing Types and Programming Languages by Benjamin Pierce in Flix.
Updated
Apr 26, 2020
Rust
Updated
Jan 3, 2019
Haskell
An OCaml (embedded) implementation of systems from the book Types and Programming Languages by Benjamin C. Pierce.
Updated
Jul 15, 2022
OCaml
Types and Programming Languages
Updated
Aug 11, 2014
Haskell
🚧 My Coq proofs for the TAPL book. WIP.
Implementation for Types and Programming Languages book
Languages from "Types and Programming Languages" implemented in Haskell.
Updated
Mar 2, 2021
Haskell
My solutions for the exercises presented in Benjamin C. Pierce's Types and Programming Languages.
Haskell Implementation of Lambda Calculus as explained in Types and Programming Languages
Updated
May 20, 2018
Haskell
Updated
Oct 22, 2018
Haskell
"Types and Programming Languages" in Isabelle/HOL
Updated
Jun 4, 2024
Isabelle
Code written in the course of reading “Types and Programming Languages” at the London Computation Club
Updated
Jun 24, 2017
Haskell
TAPL - Types and Programming Languages
Updated
Oct 1, 2023
Haskell
Improve this page
Add a description, image, and links to the
tapl
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
tapl
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.