Paper Info
Title
Towards Strong Normalization for Dependent Object Types (DOT).
Year
Venue
Field
2017
ECOOP
Programming language,Normalization (statistics),Computer science,Object type,Theoretical computer science
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
2
Name
Order
Citations
PageRank
Fei Wang120340.33
Tiark Rompf274345.86