Official websites use .gov
A
.gov website belongs to an official
government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you've safely
connected to the .gov website. Share sensitive
information only on official, secure websites.
| Author | Acknowledgments | Citations |
|---|---|---|
| Olivier Danvy | 268 | 847 |
| Oded Goldreich | 259 | 3,277 |
| Luca Cardelli | 247 | 3,847 |
| Tom Mitchell | 226 | 3,336 |
| Martin Abadi | 222 | 3,507 |
| Phil Wadler | 181 | 3,780 |
| Moshe Vardi | 180 | 3,786 |
| Peter Lee | 167 | 1,790 |
| Avi Wigderson | 160 | 2,566 |
| Matthias Felleisen | 154 | 1,622 |
| Benjamin Pierce | 152 | 1,484 |
| Noga Alon | 152 | 2,640 |
| John Ousterhout | 152 | 3,693 |
| Frank Pfenning | 148 | 1,639 |
| Andrew Appel | 144 | 2,064 |
