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.
Saturday, December 24, 2011
Subscribe to:
Posts (Atom)
