[CST-2] Strictness 99.8.7

[M.Y.W.Y. Becker]

--On 01 June 2001 16:36 +0100 Raymond Chan <rwlc3@cam.ac.uk> wrote:

> Anyone had a go at the OptComp question in 99.8.7?
> The first bit is straighforward strictness bookwork, but then the second
> bit is a weird combination of strictness and effect systems... does
> anyone agree with me on the following answers for the second half of
> 99.8.7.... [for 10 marks I think I probably might need to say more?]

I agree with everything and don't think you need to say more.

Mo