Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-35182-2_4 | APLAS |
Field | DocType | Citations |
Information flow (information theory),Programming language,Security level,Programming paradigm,Functional programming,Computer science,Program counter,Imperative programming,Theoretical computer science,Computation | Conference | 5 |
PageRank | References | Authors |
0.42 | 17 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Thomas H. Austin | 1 | 307 | 15.96 |
Cormac Flanagan | 2 | 2990 | 181.36 |
Martín Abadi | 3 | 12074 | 1324.31 |