hatashiro/rl.md

Last active May 15, 2017 11:29

Star () You must be signed in to star a gist
Fork () You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/hatashiro/97b6585d8af65b66511d6795bd6a290e.js"></script>
Save hatashiro/97b6585d8af65b66511d6795bd6a290e to your computer and use it in GitHub Desktop.

Download ZIP

Reading list

Raw

rl.md

Ongoing

Types and Programming Languages by Benjamin C. Pierce

To-read

Advanced Topics in Types and Programming Languages by Benjamin C. Pierce

Have read

Type-Driven Development with Idris by Edwin Brady

Ref

A path to Programming Language Theory enlightenment

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment