2 papers
cs.PL2024
Pantograph: A Fluid and Typed Structure Editor
Jacob Prinz, Henry Blanchette, Leonidas Lampropoulos
Structure editors operate directly on a program's syntactic tree structure. At first glance, this allows for the exciting possibility that such an editor could enforce correctness…
cs.DL2020
A Network-Level View of Author Influence
Henry Blanchette
I compare several network-level measures of centrality to common measures of author reputation and influence (e.g. hindex, i10index), all taken over the data set of papers publishe…