Saturday, December 24, 2011

Learning to know Featherweight Java - An Easy Way

It's very long time since last my last post and I am still learning how to properly prove type soundness of a programming language. Here's a list of lectures from Cornell that I've been reading and they're quite good to understand.