tapl
Here are 30 public repositories matching this topic...
Implementing Types and Programming Languages by Benjamin Pierce in Flix.
-
Updated
Feb 22, 2024
C# implementation for TAPL
-
Updated
Jan 23, 2024 - C#
Touch's Awesome Programming Language
-
Updated
Jul 11, 2023 - Python
Examples and exercises from books I read.
-
Updated
Dec 24, 2022 - Scala
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
An OCaml (embedded) implementation of systems from the book Types and Programming Languages by Benjamin C. Pierce.
-
Updated
Jul 15, 2022 - OCaml
Implementations of various systems as described in Types and Programming Languages book, in Python 3.10
-
Updated
Feb 6, 2022 - Python
Code from the book "Types and Programming Languages" in Scala
-
Updated
Oct 22, 2021 - Scala
My solutions for the exercises presented in Benjamin C. Pierce's Types and Programming Languages.
-
Updated
Jan 31, 2021
Types and Programming Languages (TAPL)
-
Updated
Nov 29, 2020 - Haskell
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
-
Updated
Jul 26, 2020 - Rust
-
Updated
Jan 13, 2019 - C
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."