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...
The Golden Age of PL Research
I was chatting with a PhD student while back, who remarked to me that many senior PL researchers seemed stuck in a defensive crouch. I thoug...