Oral Examination Notes for Type Systems for Correctness and Security

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.

Click here to download the corresponding .tex source file