-
Jeremy's list: https://avigad.github.io/formal_methods_in_education/
-
Wadler's PL Foundations: https://plfa.inf.ed.ac.uk/
-
Software Foundations: https://softwarefoundations.cis.upenn.edu/
-
Adam's FRAP site: http://adam.chlipala.net/frap/
-
Bug verification class: http://www.cs.cmu.edu/~15414/index.html
-
Programming Languages and Lambda Calculi: http://www.cs.utah.edu/~mflatt/past-courses/cs7520/public_html/s06/notes.pdf
-
Inference in Agda: https://github.com/effectfully/inference-in-agda/blob/master/InferenceInAgda.lagda.md
Last active
October 15, 2021 23:53
-
-
Save jtpaasch/eb7f9cf4952c6dae411666a0a5e4b11f to your computer and use it in GitHub Desktop.
Resources for Programming Language foo
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment