Ecosyste.ms: Awesome

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

Awesome Lists | Featured Topics | Projects

https://github.com/brendanator/tapl

Implementations of 'Types and Programming Languages'
https://github.com/brendanator/tapl

Last synced: about 1 month ago
JSON representation

Implementations of 'Types and Programming Languages'

Host: GitHub
URL: https://github.com/brendanator/tapl
Owner: brendanator
Created: 2014-03-01T23:06:23.000Z (over 10 years ago)
Default Branch: master
Last Pushed: 2014-03-26T19:52:25.000Z (over 10 years ago)
Last Synced: 2023-07-11T22:53:31.676Z (over 1 year ago)
Language: Haskell
Homepage:
Size: 160 KB
Stars: 1
Watchers: 1
Forks: 0
Open Issues: 0
Metadata Files:
- Readme: README.md

Awesome Lists containing this project

README

        #tapl

Contains implementations in Haskell of the various languages from the excellent book [Types and Programming Languages](http://www.cis.upenn.edu/~bcpierce/tapl/)