Material for IFC Q&A 4

Written on 28.11.2020 14:19 by Marco Vassena

Here you can find the recorded video and the notes for Q&A session 4.

The​​​ notes include some clarification about assignment 1 and an example evaluation of a MAC computation (forcing and thunk semantics), which highlights the difference between pure and forcing/thunk semantics and how they preserve typing.

The typing rule [LABEL] given in lecture 4 does not technically need the "no write-down" constraint.
In these notes I have explained why the rule would still be secure without the constraint.

Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.