A Network-Level View of Author Influence. - Henry Blanchette (CoRR, 2020)

Liquid proof macros. - Henry Blanchette; Niki Vazou; Leonidas Lampropoulos (Haskell, 2022)

Pantograph: A Fluid and Typed Structure Editor. - Jacob Prinz; Henry Blanchette; Leonidas Lampropoulos (Proc. ACM Program. Lang., 2025)