Citation Impact
Citing Papers
Data Mining Algorithms and Techniques in Mental Health: A Systematic Review
2018 Standout
Tree Mining in Mental Health Domain
2008
An overview on smart contracts: Challenges, advances and platforms
2019 Standout
Dependent types and multi-monadic effects in F*
2016
Works of Conor McBride being referenced
∂ for Data: Differentiating Data Structures
2004
Strongly Typed Term Representations in Coq
2011