jtpaasch/PL-resources.md

Last active October 15, 2021 23:53

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

Select an option

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

Download ZIP

Resources for Programming Language foo

Raw

PL-resources.md

General

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
Course: https://www.cs.ubc.ca/~rxg/cpsc509/
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

Information flow

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