Name
Year | Venue | Field |
|---|---|---|
2004 | Dependently Typed Programming | Research center,World Wide Web,Software engineering,Computer science |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Thorsten Altenkirch | 1 | 668 | 56.85 |
| Martin Hofmann | 2 | 18 | 5.77 |
| John Hughes | 3 | 355 | 55.17 |