TAL-GC proofs (in ascii)

Feb 21, 2006: posted annotated garbage collector.

Linear aliasing proofs (in ascii)

(Some of the linear F-omega proof is written in ML; contact me if you'd like a copy of the ML code.)

Sep 1, 2005: posted CC,CC1,CC2,LC,Linear F-omega, LC+nc.

Oct 20, 2005: added CC/CCL and CC/SLL; renamed CC to CC0.