Henry Blanchette

According to our database, Henry Blanchette authored at least 3 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Pantograph: A Fluid and Typed Structure Editor.

Jacob Prinz, Henry Blanchette, Leonidas Lampropoulos

Proc. ACM Program. Lang., 2025

2022

Liquid proof macros.

Henry Blanchette, Niki Vazou, Leonidas Lampropoulos

Proceedings of the Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15, 2022

2020

A Network-Level View of Author Influence.

Henry Blanchette

CoRR, 2020