On the Relationship Between Static Analysis and Type Theory
Some months ago, Ravi Mangal sent me an email with a very interesting question, which I reproduce in part below: The question that has be...
always_reading
How to Read Papers
One of the key skills for any academic researcher is reading other peoples' papers. The trouble is that our peers write papers faster than w...