tapl
There are 29 repositories under tapl topic.
lazear/types-and-programming-languages
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
ilya-klyuchnikov/tapl-scala
Code from the book "Types and Programming Languages" in Scala
waddlaw/TAPL
Types and Programming Languages (TAPL)
deeplang-org/deeplang-type-system
DeepLang type system based on Ocaml
amir/tapl-rs
https://www.cis.upenn.edu/~bcpierce/tapl/
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.
wangjiezhe/tapl
Source code for TAPL
rbonvall/exercises
Examples and exercises from books I read.
TomerAberbach/types-and-programming-languages-exercises
My solutions for the exercises presented in Benjamin C. Pierce's Types and Programming Languages.
vijayanant/tapl-hs
Working through the Language described in TAPL
vyorkin/tapl-coq
:construction: My Coq proofs for the TAPL book. WIP.
davidelettieri/Tapl
C# implementation for TAPL
leocassarani/types-and-programming-languages
Code written in the course of reading “Types and Programming Languages” at the London Computation Club
tathanhdinh/TandPL
Implementation for Types and Programming Languages book
iamkroot/pytapl
Implementations of various systems as described in Types and Programming Languages book, in Python 3.10
okneniz/tapl
TAPL - Types and Programming Languages
sirikid/arith
Simple untyped language
Touchcreator/TAPL
Touch's Awesome Programming Language
v4kst1z/tapl
TaPLのRust実装
crvdgc/tapl
An OCaml (embedded) implementation of systems from the book Types and Programming Languages by Benjamin C. Pierce.
helvm/haskell-tapl
Haskell Implementation of Lambda Calculus as explained in Types and Programming Languages
helvm/tapl-atton
Types and Programming Languages
helvm/tapl-haskell
Types and Programming Languages
helvm/TaPL-Haskell-1
Languages from "Types and Programming Languages" implemented in Haskell.
helvm/TAPL-waddlaw
Types and Programming Languages (TAPL)
helvm/tapl-zedongh
learn tapl in haskell
JonathanStarup/flix-tapl
Implementing Types and Programming Languages by Benjamin Pierce in Flix.