Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with types-and-programming-languages

A curated list of projects in awesome lists tagged with types-and-programming-languages .

https://github.com/lazear/types-and-programming-languages

Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!

lambda-calculus programming-languages tapl type-theory types types-and-programming-languages

Last synced: 11 Nov 2024

https://github.com/tomeraberbach/types-and-programming-languages-exercises

My solutions for the exercises presented in Benjamin C. Pierce's Types and Programming Languages.

exercise-solutions exercises programming-languages tapl textbook type-system type-theory types-and-programming-languages

Last synced: 07 Nov 2024