Paper Info
Title
Deriving generic class instances for datatypes.
Year
Venue
Field
2018
Archive of Formal Proofs
Programming language,Computer science
DocType
Volume
Citations 
Journal
2018
0
PageRank 
References 
Authors
0.34
0
2
Name
Order
Citations
PageRank
Jonas Rädle101.35
Lars Hupel2155.08