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:
Post Comments (Atom)
No comments:
Post a Comment