- https://codewords.recurse.com/issues/one/type-systems-and-logic
- http://lambda-the-ultimate.org/node/1892
- http://www.cse.chalmers.se/edu/year/2012/course/DAT150/lectures/plt-book.pdf
- http://purelytheoretical.com/sywtltt.html
- http://www.cs.cmu.edu/~fp/courses/15317-f09/
- http://gallium.inria.fr/~xleroy/mpri/2-4/
Last active
October 5, 2022 14:47
-
-
Save moleike/91f801846b0eb16f0b39c6a6c3868225 to your computer and use it in GitHub Desktop.
Programming Languages Theory
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment