Login / Signup
Henry Blanchette
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 2
Top Topics
Micro Level
Proof Planning
Network Model
Peer To Peer
Top Venues
CoRR
Haskell
</>
Publications
</>
Henry Blanchette
,
Niki Vazou
,
Leonidas Lampropoulos
Liquid proof macros.
Haskell
(2022)
Henry Blanchette
A Network-Level View of Author Influence.
CoRR
(2020)