tapl
There are 2 repositories under tapl topic.
lazear / types-and-programming-languages
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
Language:Rust 188ilya-klyuchnikov / tapl-scala
Code from the book "Types and Programming Languages" in Scala
Language:Scala 176- Language:Haskell 31
- Language:OCaml 7
eduhenke / tapl-impl
This repository is meant to be a personal collection of implementations of the concepts from the TaPL(Types and Programming Languages) book.
Language:Haskell 7- Language:Rust 6
- Language:OCaml 5
- Language:C 2
- Language:Scala 2
TomerAberbach / types-and-programming-languages-exercises
My solutions for the exercises presented in Benjamin C. Pierce's Types and Programming Languages.
- Language:Haskell 2
- Language:Coq 2
davidelettieri / Tapl
C# implementation for TAPL
Language:C# 1iamkroot / pytapl
Implementations of various systems as described in Types and Programming Languages book, in Python 3.10
Language:Python 1leocassarani / types-and-programming-languages
Code written in the course of reading “Types and Programming Languages” at the London Computation Club
Language:Haskell 1- Language:F# 1
- Language:Haskell 0
- Language:Haskell 0
- Language:Python 0
- Language:Rust 0
crvdgc / tapl
An OCaml (embedded) implementation of systems from the book Types and Programming Languages by Benjamin C. Pierce.
Language:OCaml- Language:Isabelle
helvm / haskell-tapl
Haskell Implementation of Lambda Calculus as explained in Types and Programming Languages
Language:Haskell- Language:Haskell
- Language:Haskell
- Language:Haskell
Languages from "Types and Programming Languages" implemented in Haskell.
Language:Haskell- Language:Haskell
- Language:Haskell
JonathanStarup / flix-tapl
Implementing Types and Programming Languages by Benjamin Pierce in Flix.
