Year | DOI | Venue |
---|---|---|
2013 | 10.1007/978-3-319-03542-0_19 | APLAS |
Field | DocType | Citations |
Monotonic function,Algebraic number,Programming language,Computer science,Inference,Principal type,Type inference,Theoretical computer science,Type variable,Pattern matching | Conference | 4 |
PageRank | References | Authors |
0.41 | 9 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jacques Garrigue | 1 | 96 | 14.45 |
Didier Rémy | 2 | 682 | 49.82 |