Here are
30 public repositories
matching this topic...
Touch's Awesome Programming Language
Updated
Jul 11, 2023
Python
Updated
May 4, 2017
Haskell
Types and Programming Languages
Updated
Oct 29, 2017
Haskell
Types and Programming Languages
Updated
Aug 11, 2014
Haskell
Types and Programming Languages (TAPL)
Updated
Nov 29, 2020
Haskell
Implementing Types and Programming Languages by Benjamin Pierce in Flix.
An OCaml (embedded) implementation of systems from the book Types and Programming Languages by Benjamin C. Pierce.
Updated
Jul 15, 2022
OCaml
Updated
Apr 26, 2020
Rust
Updated
Jan 3, 2019
Haskell
Languages from "Types and Programming Languages" implemented in Haskell.
Updated
Mar 2, 2021
Haskell
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
TAPL - Types and Programming Languages
Updated
Oct 1, 2023
Haskell
C# implementation for TAPL
Implementations of various systems as described in Types and Programming Languages book, in Python 3.10
Updated
Feb 6, 2022
Python
Implementation for Types and Programming Languages book
Code written in the course of reading “Types and Programming Languages” at the London Computation Club
Updated
Jun 24, 2017
Haskell
Working through the Language described in TAPL
Updated
Nov 13, 2017
Haskell
🚧 My Coq proofs for the TAPL book. WIP.
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.