Paper Info
Title
Dependently Typed Programming (NII Shonan Meeting 2011-3).
Year
Venue
Field
2011
NII Shonan Meet. Rep.
Programming language,Computer science
DocType
Volume
Citations 
Journal
2011
0
PageRank 
References 
Authors
0.34
0
3
Name
Order
Citations
PageRank
Shin-Cheng Mu101.69
Conor McBride275247.89
Stephanie Weirich378652.21