More a diary than a blog. Move along nothing to see here.
Monday, October 31, 2011
On Decidability of Nominal Subtyping with Variance
Yes, I found
Gödel's incompleteness theorem
problem in a programming languages design. I love it. I can see that one of the authors is an author of my favorite