Title
Certification Monads.
Year
Venue
DocType
2014
Archive of Formal Proofs
Journal
Volume
Citations 
PageRank 
2014
0
0.34
References 
Authors
0
2
Name
Order
Citations
PageRank
Christian Sternagel120227.60
René Thiemann298469.38