On the Relationship Between Static Analysis and Type TheorySome months ago, Ravi Mangal sent me an email with a very interesting question, which I reproduce in part below: The question that has be...pl#neel-krishnaswami#type-theory#static-analysis#semantic-domain·semantic-domain.blogspot.com·Jan 20, 2025On the Relationship Between Static Analysis and Type Theory
How to Read PapersOne of the key skills for any academic researcher is reading other peoples' papers. The trouble is that our peers write papers faster than w...cs#semantic-domain#blog#how-to-read-papers#papers#pwl#neel-krishnaswami·semantic-domain.blogspot.com·Jan 20, 2025How to Read Papers