types-and-programming-languages

There are 6 repositories under types-and-programming-languages topic.

lazear/types-and-programming-languages
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
Language:Rust184 3 38
matonix/tapl
Learning "Types and Programming Languages" in Japanese
Language:Haskell2 2 50
TomerAberbach/types-and-programming-languages-exercises
My solutions for the exercises presented in Benjamin C. Pierce's Types and Programming Languages.
2 3 0
davidelettieri/Tapl
C# implementation for TAPL
Language:C#1 2 0
crvdgc/tapl
An OCaml (embedded) implementation of systems from the book Types and Programming Languages by Benjamin C. Pierce.
Language:OCaml1 0
JonathanStarup/flix-tapl
Implementing Types and Programming Languages by Benjamin Pierce in Flix.
1 0