Think you know what type theory is? If you don’t, or if you’re not sure, or even if you think you do and want to check what you think is correct actually is correct, then check out this ACM article. It’s great.

Share|