Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with tapl
A curated list of projects in awesome lists tagged with tapl .
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: 02 Aug 2024
https://github.com/ilya-klyuchnikov/tapl-scala
Code from the book "Types and Programming Languages" in Scala
programming-languages tapl type-checking type-inference
Last synced: 03 Oct 2024