Types and Programming Languages Chapter 13 References

ref 0
x := succ 0
!x

let x = ref 0 in !x
let x =  in !x
!
0

Thanks

Thanks to Leo and Geckoboard for hosting and providing beverages (both soft and not), Laura for organising the meeting and bringing bread and dips, to Tom for leading the meeting, to James for some valiant whiteboarding, to Chris, Charlie and all those who contributed snacks.