Citation Impact
Citing Papers
An overview on smart contracts: Challenges, advances and platforms
2019 Standout
Dependent types and multi-monadic effects in F*
2016
Works of Nick Benton being referenced
Strongly Typed Term Representations in Coq
2011