Google

Below are the slides from my presentation at UCLA's Programming Langauges Reading Group on Peter O'Hearn's Resources, Concurrency, and Local Reasoning [PDF].

Published

18 Jul 2013

Tags