Request a copy of the file
Enter the following information to request a copy for the following item: A logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of runST
Requesting the following file: 42467.pdf