Get up to speed on type theory/verification methods

[alexpatel]

(I started this on 7/10 but forgot to make a ticket; will update this comment as I read more things)

To read

• SLAM
• SLAM and SBV
• CompCert
• 260r Coq exercises

Done

• bintools OCaml compiler
• Clarke et al., Model Checking
• Types and Programming Languages