- Types and Programming Languages by Benjamin C. Pierce
- Advanced Topics in Types and Programming Languages by Benjamin C. Pierce
- Type-Driven Development with Idris by Edwin Brady
Last active
May 15, 2017 11:29
-
-
Save hatashiro/97b6585d8af65b66511d6795bd6a290e to your computer and use it in GitHub Desktop.
Reading list
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment