Immediate Impact
13 standout
Citing Papers
A study of android application security
2011 Standout
Service oriented architectures: approaches, technologies and research issues
2007 Standout
Works of Roger Hindley being referenced
The principle type-scheme of an object in combinatory logic
1969
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| Roger Hindley | 346 | 258 | 1 | 39 | 14 | 364 | |
| R.J. vanGlabbeek | 221 | 263 | 24 | 10 | 314 | ||
| Jean‐Marc Andreoli | 374 | 261 | 17 | 13 | 408 | ||
| Christopher P. Wadsworth | 306 | 228 | 32 | 6 | 335 | ||
| Michael G. Main | 246 | 214 | 46 | 27 | 398 | ||
| Jean-Christophe Filliâtre | 321 | 261 | 47 | 15 | 393 | ||
| Christian Urban | 319 | 230 | 16 | 21 | 337 | ||
| G. Huet | 356 | 251 | 32 | 4 | 381 | ||
| Luı́s Caires | 301 | 222 | 23 | 21 | 356 | ||
| N. P. Mendler | 362 | 270 | 35 | 4 | 395 | ||
| William C. Rounds | 328 | 277 | 14 | 20 | 397 |
All Works
Loading papers...