Greg Morrisett Inggris (Q5606035)
Loncat ke navigasi
Loncat ke pencarian
American computer scientist Inggris
Bahasa | Label | Deskripsi | Juga dikenal sebagai |
---|---|---|---|
Bahasa Indonesia | Tidak ada label |
Tidak ada deskripsi |
|
Inggris | Greg Morrisett |
American computer scientist |
|
Pernyataan
10 Desember 2013
ACM Fellow Inggris
ACM Fellow Inggris
2013
10 Desember 2013
For contributions to mathematically-based methods for ensuring the efficient implementation and verification of practical programming languages (Inggris)
Penanda
Pranala interwiki
Wikipedia(1 entri)
- enwiki Greg Morrisett