Material for IFC Q&A 4
Written: 28.11.2020 14:19 Written 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.