Topic: "types-and-programming-languages"
lazear/types-and-programming-languages
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
Language: Rust - Size: 567 KB - Last synced at: about 1 month ago - Pushed at: almost 5 years ago - Stars: 206 - Forks: 10
matonix/tapl
Learning "Types and Programming Languages" in Japanese
Language: Haskell - Size: 6.23 MB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0
TomerAberbach/types-and-programming-languages-exercises
My solutions for the exercises presented in Benjamin C. Pierce's Types and Programming Languages.
Size: 4.88 KB - Last synced at: 3 days ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0
davidelettieri/Tapl
C# implementation for TAPL
Language: C# - Size: 374 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
rbouaf/stlc-subtyping
Introduced subtyping into Simply Typed Lambda Calculus (STLC), allowing for more flexible type assignments following Liskov’s Substitution Principle. We implemented an algorithmically driven type system supporting subtyping, and then expanded it with joins and meets, based on TaPL by Pierce.
Language: OCaml - Size: 159 KB - Last synced at: 6 days ago - Pushed at: 26 days ago - Stars: 0 - Forks: 0
dbnor0/tapl
Exercises & implementations for the type systems & lambda calculi presented by Benjamin Pierce in Types and Programming Languages.
Language: Haskell - Size: 206 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
JonathanStarup/flix-tapl
Implementing Types and Programming Languages by Benjamin Pierce in Flix.
Size: 2.93 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
crvdgc/tapl
An OCaml (embedded) implementation of systems from the book Types and Programming Languages by Benjamin C. Pierce.
Language: OCaml - Size: 11.7 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
