After sharing the minutes of my examination in Type Systems for Correctness and Security multiple times via email, I decided to provide a direct download on this blog.
Click here to download my Oral Examination Notes for Type Systems for Correctness and Security.