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...#neel-krishnaswami#type-theory#static-analysis#semantic-domain·semantic-domain.blogspot.com·Jan 20, 2025On the Relationship Between Static Analysis and Type Theory
